Uses of Class
org.processmining.models.graphbased.directed.petrinetwithdata.Literal

Packages that use Literal

Package	Description
org.processmining.models.graphbased.directed.petrinetwithdata
org.processmining.models.graphbased.directed.petrinetwithdata.unfolding

Uses of Literal in org.processmining.models.graphbased.directed.petrinetwithdata

Methods in org.processmining.models.graphbased.directed.petrinetwithdata that return Literal

Modifier and Type	Method and Description
Literal	Predicate.negated()

Methods in org.processmining.models.graphbased.directed.petrinetwithdata that return types with arguments of type Literal

Modifier and Type	Method and Description
java.util.Set<java.util.Set<Literal>>	Guard.getConjuncts()

Methods in org.processmining.models.graphbased.directed.petrinetwithdata with parameters of type Literal

Modifier and Type	Method and Description
boolean	Literal.equals(Literal l)

Method parameters in org.processmining.models.graphbased.directed.petrinetwithdata with type arguments of type Literal

Modifier and Type	Method and Description
void	Guard.addConjunct(java.util.Set<Literal> conjunct)

Uses of Literal in org.processmining.models.graphbased.directed.petrinetwithdata.unfolding

Constructor parameters in org.processmining.models.graphbased.directed.petrinetwithdata.unfolding with type arguments of type Literal

Constructor and Description
PredicateEffect(Predicate pred, java.util.Set<Literal> conj, java.lang.String effect)