public final class AigFactory
extends java.lang.Object
Constructor | Description |
---|---|
AigFactory() |
Modifier and Type | Method | Description |
---|---|---|
LabelledAig |
conjunction(LabelledAig left,
LabelledAig right) |
|
LabelledAig |
cube(java.util.BitSet b) |
|
LabelledAig |
disjunction(LabelledAig left,
LabelledAig right) |
|
LabelledAig |
getFalse() |
|
LabelledAig |
getNode(int variable) |
|
LabelledAig |
getTrue() |
|
LabelledAig |
not(LabelledAig a) |
public LabelledAig getNode(int variable)
public LabelledAig getTrue()
public LabelledAig getFalse()
public LabelledAig conjunction(LabelledAig left, LabelledAig right)
public LabelledAig cube(java.util.BitSet b)
public LabelledAig disjunction(LabelledAig left, LabelledAig right)
public LabelledAig not(LabelledAig a)