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

Packages that use Sat.Op

Package	Description
net.hydromatic.morel.util	Utilities.

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

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

Modifier and Type	Field	Description
(package private) Sat.Op	Sat.Term.op

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

Modifier and Type	Method	Description
static Sat.Op	Sat.Op.valueOf(String name)	Returns the enum constant of this type with the specified name.
static Sat.Op[]	Sat.Op.values()	Returns an array containing the constants of this enum type, in the order they are declared.

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

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