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) final boolean	value
(package private) final 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 Details

variable

final Sat.Variable variable

value

final boolean value

Constructor Details

Assignment

Assignment(Sat.Variable variable,
 boolean value)