| java.lang.Object de.uka.ilkd.key.logic.op.TermSymbol de.uka.ilkd.key.logic.op.Function de.uka.ilkd.key.logic.op.NonRigidFunctionLocation
NonRigidFunctionLocation | public NonRigidFunctionLocation(Name name, Sort sort, Sort[] argSorts)(Code) | | creates a non rigid function location with given signature
Parameters: name - the Name of the non-rigid function symbol Parameters: sort - the Sort of the symbol Parameters: argSorts - the array of Sort defining the argument sorts |
NonRigidFunctionLocation | public NonRigidFunctionLocation(Name name, Sort sort, ArrayOfSort argSorts)(Code) | | creates a non rigid function location with given signature
Parameters: name - the Name of the non-rigid function symbol Parameters: sort - the Sort of the symbol Parameters: argSorts - the ArrayOfSort defining the argument sorts |
isRigid | public boolean isRigid(Term term)(Code) | | true if the value of "term" having this operator astop-level operator and may not be changed by modalities |
|
|