agg.cons
Class AtomApplCond

java.lang.Object
  extended by agg.cons.AtomApplCond
All Implemented Interfaces:
Evaluable

public class AtomApplCond
extends java.lang.Object
implements Evaluable


Constructor Summary
AtomApplCond()
           
AtomApplCond(AtomConstraint itsSource, OrdinaryMorphism x, OrdinaryMorphism pot, OrdinaryMorphism poq)
           
 
Method Summary
 boolean eval(java.lang.Object o)
           
 boolean eval(java.lang.Object o, boolean negation)
           
 boolean eval(java.lang.Object o, int tick)
           
 boolean eval(java.lang.Object o, int tick, boolean negation)
           
 java.lang.String getAsString()
           
 Graph getBase()
           
 int getConditionMatchCounter()
           
 java.util.Vector<AtomApplCond> getEquivalents()
           
 Graph getPre()
           
 OrdinaryMorphism getPreCondition()
           
 OrdinaryMorphism getQ()
           
 AtomConstraint getSourceAtomConstraint()
           
 OrdinaryMorphism getT()
           
 boolean isValid()
           
 void setPoMorphs(OrdinaryMorphism pot, OrdinaryMorphism poq)
           
 void setPreCondition(OrdinaryMorphism x)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AtomApplCond

public AtomApplCond()

AtomApplCond

public AtomApplCond(AtomConstraint itsSource,
                    OrdinaryMorphism x,
                    OrdinaryMorphism pot,
                    OrdinaryMorphism poq)
Method Detail

eval

public boolean eval(java.lang.Object o)
Specified by:
eval in interface Evaluable

eval

public boolean eval(java.lang.Object o,
                    int tick)
Specified by:
eval in interface Evaluable

eval

public boolean eval(java.lang.Object o,
                    boolean negation)
Specified by:
eval in interface Evaluable

eval

public boolean eval(java.lang.Object o,
                    int tick,
                    boolean negation)
Specified by:
eval in interface Evaluable

getBase

public Graph getBase()

getPre

public Graph getPre()

setPreCondition

public void setPreCondition(OrdinaryMorphism x)

setPoMorphs

public void setPoMorphs(OrdinaryMorphism pot,
                        OrdinaryMorphism poq)

getPreCondition

public OrdinaryMorphism getPreCondition()

getT

public OrdinaryMorphism getT()

getQ

public OrdinaryMorphism getQ()

getSourceAtomConstraint

public AtomConstraint getSourceAtomConstraint()

getEquivalents

public java.util.Vector<AtomApplCond> getEquivalents()

isValid

public boolean isValid()

getConditionMatchCounter

public int getConditionMatchCounter()

getAsString

public java.lang.String getAsString()