org.metacsp.booleanSAT

Class BooleanVariable

java.lang.Object

org.metacsp.framework.Variable

org.metacsp.booleanSAT.BooleanVariable

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<Variable>

public class BooleanVariable
extends Variable

Class for representing Boolean variables (whose domain is {T,F}) for use with the BooleanSatisfiabilitySolver and BooleanConstraints.

Author:

Federico Pecora

See Also:

Serialized Form

Field Summary

Fields inherited from class org.metacsp.framework.Variable

attributes, backupForSerialization, dependentVariables, id, logger, solver

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BooleanVariable(ConstraintSolver cs, int id)

Method Summary

Modifier and Type	Method and Description
void	allowFalse()
void	allowTrue()
int	compareTo(Variable arg0)
Domain	getDomain() Get the domain of this Variable.
void	setDomain(Domain d) Set the domain of this variable.
java.lang.String	toString() Get a String representation of this Variable.

Methods inherited from class org.metacsp.framework.Variable

addDependentVariables, dependsOn, equals, getAncestorVariable, getAttributes, getColor, getComponent, getConstraintSolver, getDependentVariables, getDescription, getID, getMarking, getOwner, getParentVariable, getRecursivelyDependentVariables, getRootVariable, hashCode, isDependentVariable, removeDependentVariables, setAttributes, setColor, setComponent, setDependentVariables, setMarking, setOwner, setParentVariable

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

BooleanVariable

protected BooleanVariable(ConstraintSolver cs,
                          int id)

Method Detail

allowTrue

public void allowTrue()

allowFalse

public void allowFalse()

compareTo

public int compareTo(Variable arg0)

getDomain

public Domain getDomain()

Description copied from class: Variable

Get the domain of this Variable. Must be implemented by the ConstraintSolver developer, since getting the domain of a variable may be a non-trivial operation.

Specified by:

getDomain in class Variable

Returns:

The domain of the variable.

setDomain

public void setDomain(Domain d)

Description copied from class: Variable

Set the domain of this variable. Must be implemented by the ConstraintSolver developer, since setting the domain of a variable may be a non-trivial operation.

Specified by:

setDomain in class Variable

Parameters:

d - The domain of the variable.

toString

public java.lang.String toString()

Description copied from class: Variable

Get a String representation of this Variable.

Specified by:

toString in class Variable

Returns:

A String representation of this Variable.