de.uka.ilkd.key.rule.conditions

Class SimplifyIfThenElseUpdateCondition.ElementaryUpdateWrapper

java.lang.Object

de.uka.ilkd.key.rule.conditions.SimplifyIfThenElseUpdateCondition.ElementaryUpdateWrapper

Enclosing class:

SimplifyIfThenElseUpdateCondition

private static class SimplifyIfThenElseUpdateCondition.ElementaryUpdateWrapper
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private UpdateableOperator	op
private Term	rhs1
private Term	rhs2

Constructor Summary

Constructors

Constructor and Description
ElementaryUpdateWrapper(UpdateableOperator op, TermServices services)

Method Summary

Modifier and Type	Method and Description
Term	createIfElseTerm(Term phi, TermServices services)
void	setRhs1(Term rhs1)
void	setRhs2(Term rhs2)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

op

private UpdateableOperator op

rhs1

private Term rhs1

rhs2

private Term rhs2

Constructor Detail

ElementaryUpdateWrapper

public ElementaryUpdateWrapper(UpdateableOperator op,
                               TermServices services)

Method Detail

createIfElseTerm

public Term createIfElseTerm(Term phi,
                             TermServices services)

setRhs1

public void setRhs1(Term rhs1)

setRhs2

public void setRhs2(Term rhs2)