Modifier and Type | Class and Description |
---|---|
static class |
Formula.Operator |
Modifier and Type | Method and Description |
---|---|
static Formula |
apply(Formula.Operator operator,
Formula first,
Formula second) |
static Formula |
exists(Formula formula) |
static Formula |
exists(Formula formula,
Graph graph) |
static Formula |
forAll(Formula formula) |
static Formula |
forAll(Formula formula,
Graph graph) |
Data.Type |
getType()
Returns the type of the data object.
|
static Formula |
parseFormula(java.lang.String text) |
public static Formula parseFormula(java.lang.String text)
text
- public static Formula apply(Formula.Operator operator, Formula first, Formula second)
operator
- first
- second
- public static Formula exists(Formula formula, Graph graph)
formula
- graph
- public static Formula forAll(Formula formula, Graph graph)
formula
- graph
-