org.processmining.ltl2automaton.plugins.ltl

Class LTLFormula

java.lang.Object

org.processmining.ltl2automaton.plugins.ltl.LTLFormula

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

Formula

public class LTLFormula
extends java.lang.Object
implements java.lang.Cloneable

Field Summary

Fields

Modifier and Type	Field and Description
static char	ALWAYS
static char	AND
static char	EQUAL
static char	EVENTUALLY
static char	FALSE
static char	IMPLIES
protected LTLFormula	left
protected java.lang.String	name
static char	NEXT
static char	NOT
static char	OR
static char	PROPOSITION
static char	RELEASE
protected LTLFormula	right
static char	TRUE
protected char	type
static char	UNTIL
static char	WNEXT
static char	WRELEASE
static char	WUNTIL

Constructor Summary

Constructors

Constructor and Description
LTLFormula(char c, LTLFormula lf, LTLFormula rf, java.lang.String n)

Method Summary

Modifier and Type	Method and Description
LTLFormula	clone()
boolean	equals(java.lang.Object o)
LTLFormula	getLeft()
int	getLength()
java.lang.String	getName()
LTLFormula	getRight()
char	getType()
int	hashCode()
protected void	setLeft(LTLFormula left)
void	setName(java.lang.String name)
protected void	setRight(LTLFormula right)
protected void	setType(char type)
java.lang.String	toString()
void	toString(java.lang.StringBuilder sb)

Methods inherited from class java.lang.Object

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

Field Detail

AND

public static final char AND

See Also:

Constant Field Values

OR

public static final char OR

See Also:

Constant Field Values

UNTIL

public static final char UNTIL

See Also:

Constant Field Values

WUNTIL

public static final char WUNTIL

See Also:

Constant Field Values

RELEASE

public static final char RELEASE

See Also:

Constant Field Values

WRELEASE

public static final char WRELEASE

See Also:

Constant Field Values

NEXT

public static final char NEXT

See Also:

Constant Field Values

WNEXT

public static final char WNEXT

See Also:

Constant Field Values

NOT

public static final char NOT

See Also:

Constant Field Values

FALSE

public static final char FALSE

See Also:

Constant Field Values

TRUE

public static final char TRUE

See Also:

Constant Field Values

PROPOSITION

public static final char PROPOSITION

See Also:

Constant Field Values

IMPLIES

public static final char IMPLIES

See Also:

Constant Field Values

EQUAL

public static final char EQUAL

See Also:

Constant Field Values

EVENTUALLY

public static final char EVENTUALLY

See Also:

Constant Field Values

ALWAYS

public static final char ALWAYS

See Also:

Constant Field Values

type

protected char type

left

protected LTLFormula left

right

protected LTLFormula right

name

protected java.lang.String name

Constructor Detail

LTLFormula

public LTLFormula(char c,
                  LTLFormula lf,
                  LTLFormula rf,
                  java.lang.String n)

Method Detail

clone

public LTLFormula clone()

Overrides:

clone in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getLeft

public LTLFormula getLeft()

getLength

public int getLength()

getName

public java.lang.String getName()

getRight

public LTLFormula getRight()

getType

public char getType()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

setName

public void setName(java.lang.String name)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toString

public void toString(java.lang.StringBuilder sb)

setLeft

protected void setLeft(LTLFormula left)

setRight

protected void setRight(LTLFormula right)

setType

protected void setType(char type)