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

Constructor Index

 o BindNodeImpl()

Method Index

 o getBinder()
 o getBoundObject()
 o getFirstBoundVar()

Constructors

 o BindNodeImpl
 public BindNodeImpl()

Methods

 o getBinder
 public Node getBinder()
See Also:
getBinder
 o getFirstBoundVar
 public Node getFirstBoundVar()
See Also:
getFirstBoundVar
 o getBoundObject
 public Node getBoundObject()
See Also:
getBoundObject

All Packages  Class Hierarchy  This Package  Previous  Next  Index