private static class SimplifyIfThenElseUpdateCondition.ElementaryUpdateWrapper
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private UpdateableOperator |
op |
private Term |
rhs1 |
private Term |
rhs2 |
Constructor and Description |
---|
ElementaryUpdateWrapper(UpdateableOperator op,
TermServices services) |
Modifier and Type | Method and Description |
---|---|
Term |
createIfElseTerm(Term phi,
TermServices services) |
void |
setRhs1(Term rhs1) |
void |
setRhs2(Term rhs2) |
private UpdateableOperator op
private Term rhs1
private Term rhs2
public ElementaryUpdateWrapper(UpdateableOperator op, TermServices services)
public Term createIfElseTerm(Term phi, TermServices services)
public void setRhs1(Term rhs1)
public void setRhs2(Term rhs2)