ConForM.CoopnTools.JavaProto
Class VariableBinding
java.lang.Object
|
+--ConForM.CoopnTools.JavaProto.VariableBinding
- public class VariableBinding
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
VariableBinding
public VariableBinding(CoopnTerm coopnTerm,
ConForM.CoopnTools.JavaProto.PendingTest pendingTest)
VariableBinding
public VariableBinding(CoopnTerm coopnTerm,
java.lang.String javaTerm)
addDefinition
public ConForM.CoopnTools.JavaProto.PendingTest[] addDefinition(java.lang.String javaTerm)
addPendingTest
public void addPendingTest(ConForM.CoopnTools.JavaProto.PendingTest pt)
isUndefined
public boolean isUndefined()
getJavaTerm
public java.lang.String getJavaTerm()