All Packages Class Hierarchy This Package Previous Next Index
Class fr.inria.openmath.omapi.implementation.BindNodeImpl
java.lang.Object
|
+----fr.inria.openmath.omapi.implementation.NodeImpl
|
+----fr.inria.openmath.omapi.implementation.BindNodeImpl
- public class BindNodeImpl
- extends NodeImpl
- implements BindNode
-
BindNodeImpl()
-
-
getBinder()
-
-
getBoundObject()
-
-
getFirstBoundVar()
-
BindNodeImpl
public BindNodeImpl()
getBinder
public Node getBinder()
- See Also:
- getBinder
getFirstBoundVar
public Node getFirstBoundVar()
- See Also:
- getFirstBoundVar
getBoundObject
public Node getBoundObject()
- See Also:
- getBoundObject
All Packages Class Hierarchy This Package Previous Next Index