org.metacsp.booleanSAT

Class BooleanDomain

java.lang.Object

org.metacsp.framework.Domain

org.metacsp.booleanSAT.BooleanDomain

All Implemented Interfaces:

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

public class BooleanDomain
extends Domain

Represents domains for BooleanVariables, namely the set {T,F}. ValueChoiceFunctions for this domain are dynamically managed by the BooleanSatisfiabilitySolver, which guarantees the existence of a ValueChoiceFunction named "modelX" for each model X in {0 ... maxModels-1} of the current ConstraintNetwork. Note that the ConstraintNetwork is never left in an inconsistent state, therefore the ValueChoiceFunction called "model0" is always defined.

Author:

Federico Pecora

See Also:

Serialized Form

Field Summary

Fields inherited from class org.metacsp.framework.Domain

defaultValueChoiceFunction, logger, myVariable, valueChoiceFunctions

Constructor Summary

Constructors

Constructor and Description
BooleanDomain(BooleanVariable v) Create a BooleanDomain for a BooleanVariable.
BooleanDomain(BooleanVariable v, boolean... values) Create a BooleanDomain for a BooleanVariable given a specification of its allowed values.

Method Summary

Modifier and Type	Method and Description
void	allowFalse() Unmask the value F for this domain.
void	allowTrue() Unmask the value T for this domain.
boolean	canBeFalse() Assess whether the domain contains the value F.
boolean	canBeTrue() Assess whether the domain contains the value T.
int	compareTo(java.lang.Object o)
java.lang.String	toString() Get a string representation of this domain (must be implemented by the Domain developer.

Methods inherited from class org.metacsp.framework.Domain

chooseValue, chooseValue, getValueChoiceFunctions, getVariable, registerValueChoiceFunction, removeValueChoiceFunctions, setDefaultValueChoiceFunction

Methods inherited from class java.lang.Object

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

Constructor Detail

BooleanDomain

public BooleanDomain(BooleanVariable v)

Create a BooleanDomain for a BooleanVariable. The domain is set to {T,F}.

Parameters:

v - The variable of which this is a domain.

BooleanDomain

public BooleanDomain(BooleanVariable v,
                     boolean... values)

Create a BooleanDomain for a BooleanVariable given a specification of its allowed values. The specification must be of size 2.

Parameters:

v - The variable of which this is a domain.

values - The initial allowed values for this domain.

Method Detail

allowTrue

public void allowTrue()

Unmask the value T for this domain.

allowFalse

public void allowFalse()

Unmask the value F for this domain.

canBeTrue

public boolean canBeTrue()

Assess whether the domain contains the value T.

Returns:

true iff the domain contains the value T.

canBeFalse

public boolean canBeFalse()

Assess whether the domain contains the value F.

Returns:

true iff the domain contains the value F.

compareTo

public int compareTo(java.lang.Object o)

toString

public java.lang.String toString()

Description copied from class: Domain

Get a string representation of this domain (must be implemented by the Domain developer.

Specified by:

toString in class Domain