Uses of Class
net.hydromatic.morel.util.Sat.Term

Packages that use Sat.Term

Package	Description
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.
net.hydromatic.morel.util	Utilities.

Uses of Sat.Term in net.hydromatic.morel.compile

Methods in net.hydromatic.morel.compile that return Sat.Term

Modifier and Type	Method	Description
private Sat.Term	PatternCoverageChecker.toTerm(Core.Pat pat)	Converts a pattern to a logical term.

Method parameters in net.hydromatic.morel.compile with type arguments of type Sat.Term

Modifier and Type	Method	Description
private void	PatternCoverageChecker.addConsTerms(PatternCoverageChecker.Path path, List<Sat.Term> terms, Core.TuplePat tuplePat)
private void	PatternCoverageChecker.toTerm(Core.Pat pat, PatternCoverageChecker.Path path, List<Sat.Term> terms)

Uses of Sat.Term in net.hydromatic.morel.util

Subclasses of Sat.Term in net.hydromatic.morel.util

Modifier and Type	Class	Description
(package private) static class	Sat.And	"And" term.
(package private) static class	Sat.Node	Term that has a variable number of arguments ("and" or "or").
(package private) static class	Sat.Not	"Not" term.
(package private) static class	Sat.Or	"Or" term.
static class	Sat.Variable	Variable.

Fields in net.hydromatic.morel.util declared as Sat.Term

Modifier and Type	Field	Description
Sat.Term	Sat.Not.term

Fields in net.hydromatic.morel.util with type parameters of type Sat.Term

Modifier and Type	Field	Description
com.google.common.collect.ImmutableList<Sat.Term>	Sat.Node.terms

Methods in net.hydromatic.morel.util that return Sat.Term

Modifier and Type	Method	Description
Sat.Term	Sat.and(Iterable<? extends Sat.Term> terms)
Sat.Term	Sat.and(Sat.Term... terms)
Sat.Term	Sat.not(Sat.Term term)
Sat.Term	Sat.or(Iterable<? extends Sat.Term> terms)
Sat.Term	Sat.or(Sat.Term... terms)

Methods in net.hydromatic.morel.util with parameters of type Sat.Term

Modifier and Type	Method	Description
Sat.Term	Sat.and(Sat.Term... terms)
Sat.Term	Sat.not(Sat.Term term)
Sat.Term	Sat.or(Sat.Term... terms)
@Nullable Map<Sat.Variable,Boolean>	Sat.solve(Sat.Term term)	Finds an assignment of variables such that a term evaluates to true, or null if there is no solution.

Method parameters in net.hydromatic.morel.util with type arguments of type Sat.Term

Modifier and Type	Method	Description
Sat.Term	Sat.and(Iterable<? extends Sat.Term> terms)
Sat.Term	Sat.or(Iterable<? extends Sat.Term> terms)

Constructors in net.hydromatic.morel.util with parameters of type Sat.Term

Constructor	Description
Not(Sat.Term term)

Constructor parameters in net.hydromatic.morel.util with type arguments of type Sat.Term

Constructor	Description
And(com.google.common.collect.ImmutableList<Sat.Term> terms)
Node(Sat.Op op, com.google.common.collect.ImmutableList<Sat.Term> terms)
Or(com.google.common.collect.ImmutableList<Sat.Term> terms)