conexp.fx.core.context.temporal

Class LTL<M>

java.lang.Object

conexp.fx.core.context.temporal.LTL<M>

public final class LTL<M>
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	LTL.Type This enumeration defines the available types for linear temporal logic, that are NOW (emulates the current timepoint just for code convienience), NEXTW (weak next), NEXTS (strong next), SOMETIMES (sometimes in the future), ALWAYS (always in the future), UNTILW (weak until), and UNTILS (strong until).

Constructor Summary

Constructors

Constructor and Description
LTL(LTL.Type type, M m)
LTL(LTL.Type type, M m, M n)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
M	getM()
M	getN()
LTL.Type	getType()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

LTL

public LTL(LTL.Type type,
           M m)

LTL

public LTL(LTL.Type type,
           M m,
           M n)

Method Detail

getType

public final LTL.Type getType()

getM

public final M getM()

getN

public final M getN()

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public final int hashCode()

Overrides:

hashCode in class Object