org.kahina.logic.sat.data.free

Class BooleanFormula

java.lang.Object

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

Direct Known Subclasses:

BooleanConstant, BooleanVariable, Conjunction, Disjunction, Negation

public abstract class BooleanFormula
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
BooleanFormula()

Method Summary

Methods

Modifier and Type	Method and Description
abstract <A> A	accept(BooleanFormulaVisitor<A> visitor)
abstract int	getSize()
boolean	isPruned()
void	setPruned(boolean pruned)
abstract java.lang.String	toStringWithMinimumBracing()

Methods inherited from class java.lang.Object

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

Constructor Detail

BooleanFormula

public BooleanFormula()

Method Detail

isPruned

public boolean isPruned()

setPruned

public void setPruned(boolean pruned)

toStringWithMinimumBracing

public abstract java.lang.String toStringWithMinimumBracing()

getSize

public abstract int getSize()

accept

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