public final class LabelledAig
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
boolean |
equals(java.lang.Object o) |
|
LabelledAig |
flip() |
|
int |
hashCode() |
public final Aig aig
public final boolean isNegated
public LabelledAig flip()
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object