ubc.cs.JLog.Builtins.Entries
Class pIfThenOperatorEntry

java.lang.Object
  extended by ubc.cs.JLog.Parser.pOperatorEntry
      extended by ubc.cs.JLog.Builtins.Entries.pIfThenOperatorEntry

public class pIfThenOperatorEntry
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
pIfThenOperatorEntry()
           
 
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

pIfThenOperatorEntry

public pIfThenOperatorEntry()
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.