public class LTLFormula
extends java.lang.Object
implements java.lang.Cloneable
| 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 and Description |
|---|
LTLFormula(char c,
LTLFormula lf,
LTLFormula rf,
java.lang.String n) |
| 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) |
public static final char AND
public static final char OR
public static final char UNTIL
public static final char WUNTIL
public static final char RELEASE
public static final char WRELEASE
public static final char NEXT
public static final char WNEXT
public static final char NOT
public static final char FALSE
public static final char TRUE
public static final char PROPOSITION
public static final char IMPLIES
public static final char EQUAL
public static final char EVENTUALLY
public static final char ALWAYS
protected char type
protected LTLFormula left
protected LTLFormula right
protected java.lang.String name
public LTLFormula(char c,
LTLFormula lf,
LTLFormula rf,
java.lang.String n)
public LTLFormula clone()
clone in class java.lang.Objectpublic boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic LTLFormula getLeft()
public int getLength()
public java.lang.String getName()
public LTLFormula getRight()
public char getType()
public int hashCode()
hashCode in class java.lang.Objectpublic void setName(java.lang.String name)
public java.lang.String toString()
toString in class java.lang.Objectpublic void toString(java.lang.StringBuilder sb)
protected void setLeft(LTLFormula left)
protected void setRight(LTLFormula right)
protected void setType(char type)