inpro.incremental.unit
Class FormulaIU

java.lang.Object
  extended by inpro.incremental.unit.IU
      extended by inpro.incremental.unit.FormulaIU
All Implemented Interfaces:
java.lang.Comparable<IU>

public class FormulaIU
extends IU


Nested Class Summary
 
Nested classes/interfaces inherited from class inpro.incremental.unit.IU
IU.IUUpdateListener, IU.Progress
 
Field Summary
static FormulaIU FIRST_FORMULA_IU
           
private  Formula formula
           
 
Fields inherited from class inpro.incremental.unit.IU
creationTime, FIRST_IU, groundedIn, grounds, nextSameLevelLinks, previousSameLevelLink, updateListeners
 
Constructor Summary
FormulaIU()
           
FormulaIU(IU sll, IU groundedIn, Formula formula)
           
FormulaIU(IU sll, java.util.List<IU> groundedIn, Formula formula)
           
 
Method Summary
 Formula getFormula()
           
 java.lang.String toPayLoad()
           
 
Methods inherited from class inpro.incremental.unit.IU
addNextSameLevelLink, addUpdateListener, commit, compareTo, connectSLL, deepToString, duration, endTime, equals, getAge, getAmongNextSameLevelLinks, getCreationTime, getID, getNextSameLevelLink, getNextSameLevelLinks, getOngoingGroundedIU, getProgress, getSameLevelLink, ground, groundedIn, groundIn, groundIn, grounds, hashCode, isCommitted, isCompleted, isOngoing, isRevoked, isUpcoming, notifyListeners, payloadEquals, removeAllNextSameLevelLinks, removeGrin, removeGrin, reorderNextSameLevelLink, revoke, setAsTopNextSameLevelLink, setSameLevelLink, startTime, toLabelLine, toString, toTEDviewXML, updateOnGrinUpdates
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

formula

private Formula formula

FIRST_FORMULA_IU

public static final FormulaIU FIRST_FORMULA_IU
Constructor Detail

FormulaIU

public FormulaIU()

FormulaIU

public FormulaIU(IU sll,
                 java.util.List<IU> groundedIn,
                 Formula formula)

FormulaIU

public FormulaIU(IU sll,
                 IU groundedIn,
                 Formula formula)
Method Detail

toPayLoad

public java.lang.String toPayLoad()
Specified by:
toPayLoad in class IU

getFormula

public Formula getFormula()