agg.cons
Class AtomApplCond
java.lang.Object
agg.cons.AtomApplCond
- All Implemented Interfaces:
- Evaluable
public class AtomApplCond
- extends java.lang.Object
- implements Evaluable
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AtomApplCond
public AtomApplCond()
AtomApplCond
public AtomApplCond(AtomConstraint itsSource,
OrdinaryMorphism x,
OrdinaryMorphism pot,
OrdinaryMorphism poq)
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()