ubc.cs.JLog.Terms.Entries
Class pIfOperatorEntry

java.lang.Object
  extended by ubc.cs.JLog.Parser.pOperatorEntry
      extended by ubc.cs.JLog.Terms.Entries.pIfOperatorEntry

public class pIfOperatorEntry
extends pOperatorEntry


Field Summary
 
Fields inherited from class ubc.cs.JLog.Parser.pOperatorEntry
FX, FY, LEFT_ASSOCIATIVE, library, name, NON_ASSOCIATIVE, priority, RIGHT_ASSOCIATIVE, type, XF, XFX, XFY, YF, YFX
 
Constructor Summary
pIfOperatorEntry()
           
 
Method Summary
 jTerm createOperator(jTerm l, jTerm r)
          The internal method for creating the jTerm representation of this operator representation.
 
Methods inherited from class ubc.cs.JLog.Parser.pOperatorEntry
createOperator, getAssociativity, getLibrary, getName, getPriority, getType, hasLHS, hasRHS, isAtomPermitted, isNonAssociativeLeft, isNonAssociativeRight, isValidType, sameLibrary, setLibrary, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

pIfOperatorEntry

public pIfOperatorEntry()
Method Detail

createOperator

public jTerm createOperator(jTerm l,
                            jTerm r)
Description copied from class: pOperatorEntry
The internal method for creating the jTerm representation of this operator representation. Subclasses must override. The operands are provided, already created.

Specified by:
createOperator in class pOperatorEntry
Parameters:
l - The left hand jTerm.
r - The right hand jTerm.
Returns:
jTerm representing this operator and its operands.