public class ConditionalAndExpression extends AbstractFormula
| Constructor and Description |
|---|
ConditionalAndExpression() |
| Modifier and Type | Method and Description |
|---|---|
void |
add(ValueLogical expr) |
ConditionalAndExpression |
clone() |
void |
dispatch(FormulaVisitor visitor) |
List<ValueLogical> |
getAndList() |
void |
print(PrettyPrintWriter out) |
asBinaryRelationalExpression, asPrimaryExpression, toSimpleString, toStringpublic void add(ValueLogical expr)
public List<ValueLogical> getAndList()
public ConditionalAndExpression clone()
clone in class AbstractFormulapublic void print(PrettyPrintWriter out)
public void dispatch(FormulaVisitor visitor)
Copyright © 2019. All rights reserved.