public final class Aig
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
static Aig |
FALSE |
|
Aig |
left |
|
boolean |
leftIsNegated |
|
Aig |
right |
|
boolean |
rightIsNegated |
|
int |
variable |
Constructor | Description |
---|---|
Aig(int variable) |
|
Aig(Aig l,
Aig r) |
|
Aig(Aig l,
Aig r,
boolean lNegated,
boolean rNegated) |
Modifier and Type | Method | Description |
---|---|---|
boolean |
equals(java.lang.Object o) |
|
int |
hashCode() |
|
boolean |
isConstant() |
|
boolean |
isLeaf() |
|
boolean |
isVariable() |
public static final Aig FALSE
public final boolean leftIsNegated
public final boolean rightIsNegated
@Nullable public final Aig left
@Nullable public final Aig right
public final int variable