public final class LabelledFormula
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
Formula |
formula |
|
com.google.common.collect.ImmutableList<java.lang.String> |
variables |
Modifier and Type | Method | Description |
---|---|---|
<R,P> R |
accept(BinaryVisitor<P,R> visitor,
P parameter) |
|
int |
accept(IntVisitor visitor) |
|
<R> R |
accept(Visitor<R> visitor) |
|
LabelledFormula |
acceptConverter(Visitor<Formula> visitor) |
|
boolean |
allMatch(java.util.function.Predicate<Formula> predicate) |
|
boolean |
anyMatch(java.util.function.Predicate<Formula> predicate) |
|
boolean |
equals(java.lang.Object o) |
|
Formula |
getFormula() |
|
java.util.List<java.lang.String> |
getPlayer1Variables() |
|
java.util.List<java.lang.String> |
getPlayer2Variables() |
|
int |
hashCode() |
|
LabelledFormula |
not() |
|
static LabelledFormula |
of(Formula formula,
java.util.List<java.lang.String> variables) |
|
static LabelledFormula |
of(Formula formula,
java.util.List<java.lang.String> variables,
java.util.BitSet player1Variables) |
|
java.lang.String |
toString() |
|
LabelledFormula |
wrap(java.util.BitSet player1Variables) |
|
LabelledFormula |
wrap(Formula formula) |
public final Formula formula
public final com.google.common.collect.ImmutableList<java.lang.String> variables
public static LabelledFormula of(Formula formula, java.util.List<java.lang.String> variables)
public static LabelledFormula of(Formula formula, java.util.List<java.lang.String> variables, java.util.BitSet player1Variables)
public int accept(IntVisitor visitor)
public <R> R accept(Visitor<R> visitor)
public <R,P> R accept(BinaryVisitor<P,R> visitor, P parameter)
public LabelledFormula acceptConverter(Visitor<Formula> visitor)
public boolean allMatch(java.util.function.Predicate<Formula> predicate)
public boolean anyMatch(java.util.function.Predicate<Formula> predicate)
public Formula getFormula()
public LabelledFormula not()
public java.lang.String toString()
toString
in class java.lang.Object
public LabelledFormula wrap(Formula formula)
public LabelledFormula wrap(java.util.BitSet player1Variables)
public java.util.List<java.lang.String> getPlayer1Variables()
public java.util.List<java.lang.String> getPlayer2Variables()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object