de.uka.ilkd.key.logic.op

Class UpdateSV

java.lang.Object

de.uka.ilkd.key.logic.op.AbstractOperator

de.uka.ilkd.key.logic.op.AbstractSortedOperator

de.uka.ilkd.key.logic.op.AbstractSV

de.uka.ilkd.key.logic.op.UpdateSV

All Implemented Interfaces:

Named, Operator, ParsableVariable, SchemaVariable, SortedOperator, SVSubstitute, Sorted

public final class UpdateSV
extends AbstractSV

A schema variable that is used as placeholder for updates.

Constructor Summary

Constructors

Constructor and Description
UpdateSV(Name name)

Method Summary

Modifier and Type	Method and Description
String	proofToString() Creates a parseable string representation of the declaration of the schema variable.
String	toString()

Methods inherited from class de.uka.ilkd.key.logic.op.AbstractSV

isStrict, toString

Methods inherited from class de.uka.ilkd.key.logic.op.AbstractSortedOperator

additionalValidTopLevel, additionalValidTopLevel2, argSort, argSorts, sort, sort

Methods inherited from class de.uka.ilkd.key.logic.op.AbstractOperator

arity, bindVarsAt, isRigid, name, validTopLevel, whereToBind

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.uka.ilkd.key.logic.op.SortedOperator

argSort, argSorts, sort

Methods inherited from interface de.uka.ilkd.key.logic.op.Operator

arity, bindVarsAt, isRigid, sort, validTopLevel

Methods inherited from interface de.uka.ilkd.key.logic.Named

name

Constructor Detail

UpdateSV

UpdateSV(Name name)

Method Detail

toString

public String toString()

Overrides:

toString in class AbstractOperator

proofToString

public String proofToString()

Description copied from interface: SchemaVariable

Creates a parseable string representation of the declaration of the schema variable.