org.kahina.logic.sat.data.free

Class BooleanVariable

java.lang.Object

org.kahina.logic.sat.data.free.BooleanFormula

org.kahina.logic.sat.data.free.BooleanVariable

public class BooleanVariable
extends BooleanFormula

Constructor Summary

Constructors

Constructor and Description
BooleanVariable(VarName var)

Method Summary

Methods

Modifier and Type	Method and Description
<A> A	accept(BooleanFormulaVisitor<A> visitor)
boolean	equals(java.lang.Object obj)
VarName	getName()
int	getSize()
int	hashCode()
java.lang.String	toString()
java.lang.String	toStringWithMinimumBracing()

Methods inherited from class org.kahina.logic.sat.data.free.BooleanFormula

isPruned, setPruned

Methods inherited from class java.lang.Object

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

Constructor Detail

BooleanVariable

public BooleanVariable(VarName var)

Method Detail

getName

public VarName getName()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toStringWithMinimumBracing

public java.lang.String toStringWithMinimumBracing()

Specified by:

toStringWithMinimumBracing in class BooleanFormula

getSize

public int getSize()

Specified by:

getSize in class BooleanFormula

accept

public <A> A accept(BooleanFormulaVisitor<A> visitor)

Specified by:

accept in class BooleanFormula

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object