Package net.hydromatic.morel.util

Class Sat.Assignment

java.lang.Object

net.hydromatic.morel.util.Sat.Assignment

Enclosing class:

Sat

private static class Sat.Assignment
extends Object

Assignment of a variable to a value.

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

variable

final Sat.Variable variable

value

final boolean value

Constructor Detail

Assignment

Assignment(Sat.Variable variable,
           boolean value)