Predicate (PetriNets)

java.lang.Object
- org.processmining.models.graphbased.directed.petrinetwithdata.Predicate

public class Predicate
extends java.lang.Object

Constructor Summary

Constructors
Constructor Description

Predicate(java.lang.String name, java.util.Set<DataElement> dep_data)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Predicate p)`
`java.util.Set<DataElement>`	`getDepData()`
`java.lang.String`	`getName()`
`Literal`	`negated()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Predicate

public Predicate(java.lang.String name,
                 java.util.Set<DataElement> dep_data)

Method Detail

getName
```
public java.lang.String getName()
```

getDepData

public java.util.Set<DataElement> getDepData()

toString
```
public java.lang.String toString()
```
Overrides:

toString in class java.lang.Object

equals

public boolean equals(Predicate p)

negated
```
public Literal negated()
```