PredicateEffect (PetriNets)

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

public class PredicateEffect
extends Effect

- Constructor Summary
  
  Constructors
  Constructor Description
  
  PredicateEffect(Predicate pred, java.util.Set<Literal> conj, java.lang.String effect)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  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