Package owl.game.output
Class AigFactory
- java.lang.Object
-
- owl.game.output.AigFactory
-
public final class AigFactory extends Object
-
-
Constructor Summary
Constructors Constructor Description AigFactory()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description LabelledAigconjunction(LabelledAig left, LabelledAig right)LabelledAigcube(BitSet b)LabelledAigdisjunction(LabelledAig left, LabelledAig right)LabelledAiggetFalse()LabelledAiggetNode(int variable)LabelledAiggetTrue()LabelledAignot(LabelledAig a)
-
-
-
Method Detail
-
getNode
public LabelledAig getNode(int variable)
-
getTrue
public LabelledAig getTrue()
-
getFalse
public LabelledAig getFalse()
-
conjunction
public LabelledAig conjunction(LabelledAig left, LabelledAig right)
-
cube
public LabelledAig cube(BitSet b)
-
disjunction
public LabelledAig disjunction(LabelledAig left, LabelledAig right)
-
not
public LabelledAig not(LabelledAig a)
-
-