org.kahina.logic.sat.data.free

Class Conjunction

java.lang.Object

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

org.kahina.logic.sat.data.free.Conjunction

public class Conjunction
extends BooleanFormula

Constructor Summary

Constructors

Constructor and Description
Conjunction(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>	getConjuncts()
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

Conjunction

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

Method Detail

getConjuncts

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

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