public final class Condition
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
Condition.Type |
Modifier and Type | Method and Description |
---|---|
Condition |
and(Condition other) |
static Condition |
extract(ru.ispras.fortress.expression.Node expr) |
java.util.List<ru.ispras.fortress.expression.Node> |
getAtoms() |
Condition.Type |
getType() |
boolean |
isSingle() |
Condition |
not() |
Condition |
or(Condition other) |
java.lang.String |
toString() |
public boolean isSingle()
public Condition.Type getType()
public java.util.List<ru.ispras.fortress.expression.Node> getAtoms()
public java.lang.String toString()
toString
in class java.lang.Object
public static Condition extract(ru.ispras.fortress.expression.Node expr)
public Condition not()