All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class fr.inria.openmath.omapi.implementation.ApplyNodeImpl

java.lang.Object
   |
   +----fr.inria.openmath.omapi.implementation.NodeImpl
           |
           +----fr.inria.openmath.omapi.implementation.ApplyNodeImpl

public class ApplyNodeImpl
extends NodeImpl
implements ApplyNode
Defines accessor/mutators for this kind of node.


Constructor Index

 o ApplyNodeImpl()

Method Index

 o getFirstArg()
 o getFunction()

Constructors

 o ApplyNodeImpl
 public ApplyNodeImpl()

Methods

 o getFunction
 public Node getFunction()
See Also:
getFunction
 o getFirstArg
 public Node getFirstArg()
See Also:
getFirstArg

All Packages  Class Hierarchy  This Package  Previous  Next  Index