Skip navigation links
KeY 2.6.1_b7dc5338bd4d2c41d019616407d79ac6dec9efa4

Package de.uka.ilkd.key.logic.op

contains the operators of Terms.

See: Description

Package de.uka.ilkd.key.logic.op Description

contains the operators of Terms. Operators may be Quantifiers or SubstOps that bind variables for subterms, but also Modalitys, or de.uka.ilkd.key.logic.op.QuanUpdateOperators. Many of the operators are constantly defined in de.uka.ilkd.key.logic.op.Ops. An operator can be a de.uka.ilkd.key.logic.op.TermSymbols, such as a Function or a variable. There are several kind of variables: LogicVariables (variables that must be bound but do not occur in programs), ProgramVariables (allowed both in programs and in logic, but not boundable), de.uka.ilkd.key.logic.op.Metavariables, and SchemaVariables for Taclets. Last modified: Mon Apr 18 09:42:36 MEST 2005
Skip navigation links
KeY 2.6.1_b7dc5338bd4d2c41d019616407d79ac6dec9efa4