org.kahina.logic.sat.data.free

Class BooleanConstant

java.lang.Object

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

org.kahina.logic.sat.data.free.BooleanConstant

public class BooleanConstant
extends BooleanFormula

Constructor Summary

Constructors

Constructor and Description
BooleanConstant(boolean value)

Method Summary

Methods

Modifier and Type	Method and Description
<A> A	accept(BooleanFormulaVisitor<A> visitor)
int	getSize()
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, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

BooleanConstant

public BooleanConstant(boolean value)

Method Detail

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