PartialAssignment

public class PartialAssignment
extends java.lang.Object

Constructors
Constructor and Description
`PartialAssignment()`

Methods
Modifier and Type	Method and Description
`void`	`assign(int var, boolean value)`
`java.util.Collection<java.lang.Integer>`	`assignedVars()`
`java.lang.Boolean`	`getValue(int var)`
`int`	`size()`
`void`	`unassignVars(java.util.Collection<java.lang.Integer> vars)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public java.lang.Boolean getValue(int var)

public void assign(int var,
          boolean value)

public java.util.Collection<java.lang.Integer> assignedVars()

public void unassignVars(java.util.Collection<java.lang.Integer> vars)

Class PartialAssignment