Package owl.game.output
Class Aig
- java.lang.Object
-
- owl.game.output.Aig
-
public abstract class Aig extends Object
-
-
Constructor Summary
Constructors Constructor Description Aig()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description booleanisConstant()booleanisLeaf()booleanisVariable()static Aigleaf(int variable)abstract Aigleft()abstract booleanleftIsNegated()static Aignode(Aig left, boolean leftNegated, Aig right, boolean rightNegated)static Aignode(Aig left, Aig right)abstract Aigright()abstract booleanrightIsNegated()abstract intvariable()
-
-
-
Field Detail
-
FALSE
public static final Aig FALSE
-
-
Method Detail
-
variable
public abstract int variable()
-
left
@Nullable public abstract Aig left()
-
leftIsNegated
public abstract boolean leftIsNegated()
-
right
@Nullable public abstract Aig right()
-
rightIsNegated
public abstract boolean rightIsNegated()
-
leaf
public static Aig leaf(int variable)
-
isLeaf
public boolean isLeaf()
-
isConstant
public boolean isConstant()
-
isVariable
public boolean isVariable()
-
-