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

Modifier and Type	Method	Description
LabelledAig	conjunction(LabelledAig left, LabelledAig right)
LabelledAig	cube(BitSet b)
LabelledAig	disjunction(LabelledAig left, LabelledAig right)
LabelledAig	getFalse()
LabelledAig	getNode(int variable)
LabelledAig	getTrue()
LabelledAig	not(LabelledAig a)

Methods inherited from class java.lang.Object

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

Constructor Detail

AigFactory

public AigFactory()

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)