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

Packages that use Sat.Variable

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.Variable in net.hydromatic.morel.compile

Fields in net.hydromatic.morel.compile with type parameters of type Sat.Variable

Modifier and Type	Field	Description
(package private) com.google.common.collect.ImmutableMap<String,Sat.Variable>	PatternCoverageChecker.DataTypeSlot.constructorMap

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

Modifier and Type	Method	Description
private Sat.Variable	PatternCoverageChecker.typeConstructorTerm(PatternCoverageChecker.Path path, String con)

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

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

Modifier and Type	Field	Description
(package private) Sat.Variable	Sat.Assignment.variable

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

Modifier and Type	Field	Description
private Map<Integer,Sat.Variable>	Sat.variablesById
private Map<String,Sat.Variable>	Sat.variablesByName

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

Modifier and Type	Method	Description
Sat.Variable	Sat.variable(String name)

Methods in net.hydromatic.morel.util that return types with arguments of type Sat.Variable

Modifier and Type	Method	Description
@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.

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

Constructor	Description
Assignment(Sat.Variable variable, boolean value)