org.kahina.logic.sat.data.free

Class Disjunction

java.lang.Object

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

org.kahina.logic.sat.data.free.Disjunction

public class Disjunction
extends BooleanFormula

Constructor Summary

Constructors

Constructor and Description
Disjunction(java.util.List<BooleanFormula> fms)

Method Summary

Methods

Modifier and Type	Method and Description
<A> A	accept(BooleanFormulaVisitor<A> visitor)
boolean	equals(java.lang.Object obj)
java.util.List<BooleanFormula>	getDisjuncts()
java.util.List<BooleanFormula>	getFms()
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

Disjunction

public Disjunction(java.util.List<BooleanFormula> fms)

Method Detail

getDisjuncts

public java.util.List<BooleanFormula> getDisjuncts()

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

getFms

public java.util.List<BooleanFormula> getFms()

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