org.processmining.models.graphbased.directed.petrinetwithdata.unfolding
Class PredicateEffect

java.lang.Object
  extended by org.processmining.models.graphbased.directed.petrinetwithdata.unfolding.Effect
      extended by org.processmining.models.graphbased.directed.petrinetwithdata.unfolding.PredicateEffect

public class PredicateEffect
extends Effect


Constructor Summary
PredicateEffect(Predicate pred, java.util.Set<Literal> conj, java.lang.String effect)
           
 
Method Summary
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PredicateEffect

public PredicateEffect(Predicate pred,
                       java.util.Set<Literal> conj,
                       java.lang.String effect)
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object