Package owl.ltl
Class LabelledFormula
- java.lang.Object
-
- owl.ltl.LabelledFormula
-
@Immutable public abstract class LabelledFormula extends Object
-
-
Constructor Summary
Constructors Constructor Description LabelledFormula()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods 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)
boolean
allMatch(Predicate<Formula> predicate)
boolean
anyMatch(Predicate<Formula> predicate)
LabelledFormula
convert(Visitor<Formula> visitor)
abstract Formula
formula()
LabelledFormula
not()
static LabelledFormula
of(Formula formula, List<String> variables)
static LabelledFormula
of(Formula formula, List<String> variables, BitSet player1)
static LabelledFormula
of(Formula formula, List<String> variables, Set<String> player1)
abstract Set<String>
player1Variables()
LabelledFormula
split(Set<String> player1)
String
toString()
abstract List<String>
variables()
LabelledFormula
wrap(Formula formula)
-
-
-
Method Detail
-
formula
public abstract Formula formula()
-
of
public static LabelledFormula of(Formula formula, List<String> variables)
-
of
public static LabelledFormula of(Formula formula, List<String> variables, BitSet player1)
-
wrap
public LabelledFormula wrap(Formula formula)
-
split
public LabelledFormula split(Set<String> player1)
-
not
public LabelledFormula not()
-
accept
public int accept(IntVisitor visitor)
-
accept
public <R> R accept(Visitor<R> visitor)
-
accept
public <R,P> R accept(BinaryVisitor<P,R> visitor, P parameter)
-
convert
public LabelledFormula convert(Visitor<Formula> visitor)
-
-