org.processmining.ltl2automaton.plugins.formula

Class Formula

java.lang.Object

org.processmining.ltl2automaton.plugins.ltl.LTLFormula

org.processmining.ltl2automaton.plugins.formula.Formula

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Iterable<java.lang.String>

public class Formula
extends LTLFormula
implements java.lang.Iterable<java.lang.String>

Field Summary

Fields inherited from class org.processmining.ltl2automaton.plugins.ltl.LTLFormula

ALWAYS, AND, EQUAL, EVENTUALLY, FALSE, IMPLIES, left, name, NEXT, NOT, OR, PROPOSITION, RELEASE, right, TRUE, type, UNTIL, WNEXT, WRELEASE, WUNTIL

Constructor Summary

Constructors

Constructor and Description
Formula(char c, Formula sx, Formula dx, java.lang.String n)

Method Summary

Modifier and Type	Method and Description
Formula	clone()
boolean	containsUntil()
boolean	equals(java.lang.Object o)
Formula	getLeft()
int	getLength()
Formula	getNext()
Formula	getRight()
Formula	getSub1()
Formula	getSub2()
int	hashCode()
boolean	isLiteral()
boolean	isPositiveProposition()
boolean	isSpecialRelease(java.util.Collection<Formula> formulas)
boolean	isSyntacticallyImplied(java.util.Collection<Formula> old, java.util.Collection<Formula> next)
java.util.Iterator<java.lang.String>	iterator()
boolean	mustSatisfyProposition()
Formula	negate()
void	relpaceParameter(java.lang.String formal, java.lang.String real)

Methods inherited from class org.processmining.ltl2automaton.plugins.ltl.LTLFormula

getName, getType, setLeft, setName, setRight, setType, toString, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

Formula

public Formula(char c,
               Formula sx,
               Formula dx,
               java.lang.String n)

Method Detail

clone

public Formula clone()

Overrides:

clone in class LTLFormula

containsUntil

public boolean containsUntil()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class LTLFormula

getLeft

public Formula getLeft()

Overrides:

getLeft in class LTLFormula

getLength

public int getLength()

Overrides:

getLength in class LTLFormula

getNext

public Formula getNext()

getRight

public Formula getRight()

Overrides:

getRight in class LTLFormula

getSub1

public Formula getSub1()

getSub2

public Formula getSub2()

hashCode

public int hashCode()

Overrides:

hashCode in class LTLFormula

isLiteral

public boolean isLiteral()

isPositiveProposition

public boolean isPositiveProposition()

isSpecialRelease

public boolean isSpecialRelease(java.util.Collection<Formula> formulas)

isSyntacticallyImplied

public boolean isSyntacticallyImplied(java.util.Collection<Formula> old,
                                      java.util.Collection<Formula> next)

iterator

public java.util.Iterator<java.lang.String> iterator()

Specified by:

iterator in interface java.lang.Iterable<java.lang.String>

mustSatisfyProposition

public boolean mustSatisfyProposition()

negate

public Formula negate()

relpaceParameter

public void relpaceParameter(java.lang.String formal,
                             java.lang.String real)