Package owl.game.output
Class LabelledAig
- java.lang.Object
-
- owl.game.output.LabelledAig
-
public abstract class LabelledAig extends Object
-
-
Constructor Summary
Constructors Constructor Description LabelledAig()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract Aigaig()LabelledAigflip()abstract booleanisNegated()static LabelledAigof(Aig aig)static LabelledAigof(Aig aig, boolean negated)
-
-
-
Method Detail
-
aig
public abstract Aig aig()
-
isNegated
public abstract boolean isNegated()
-
of
public static LabelledAig of(Aig aig)
-
of
public static LabelledAig of(Aig aig, boolean negated)
-
flip
public LabelledAig flip()
-
-