de.uka.ilkd.key.logic.op

Class LogicVariable

java.lang.Object

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

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

de.uka.ilkd.key.logic.op.LogicVariable

All Implemented Interfaces:

Named, Operator, ParsableVariable, QuantifiableVariable, SortedOperator, SVSubstitute, Sorted

public final class LogicVariable
extends AbstractSortedOperator
implements QuantifiableVariable, ParsableVariable

The objects of this class represent logical variables, used e.g. for quantification.

Constructor Summary

Constructors

Constructor and Description
LogicVariable(Name name, Sort sort)

Method Summary

Modifier and Type	Method and Description
java.lang.String	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

LogicVariable

public LogicVariable(Name name,
                     Sort sort)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class AbstractOperator