Sequenic.T3.Info

Class SeqPredicate

java.lang.Object

Sequenic.T3.Info.SeqPredicate

public class SeqPredicate
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static Sequenic.T3.Info.SeqPredicate.LTL	TT

Constructor Summary

Constructors

Constructor and Description
SeqPredicate()

Method Summary

Modifier and Type	Method and Description
static Sequenic.T3.Info.SeqPredicate.LTL	always(Sequenic.T3.Info.SeqPredicate.LTL p)
static Sequenic.T3.Info.SeqPredicate.LTL	always(StepPredicate p)
static Sequenic.T3.Info.SeqPredicate.LTL	eventually(Sequenic.T3.Info.SeqPredicate.LTL p)
static Sequenic.T3.Info.SeqPredicate.LTL	eventually(StepPredicate p)
static Sequenic.T3.Info.SeqPredicate.LTL	next(Sequenic.T3.Info.SeqPredicate.LTL p)
static Sequenic.T3.Info.SeqPredicate.LTL	next(StepPredicate p)
static Sequenic.T3.Info.SeqPredicate.LTL	not(Sequenic.T3.Info.SeqPredicate.LTL p)
static Sequenic.T3.Info.SeqPredicate.LTL	not(StepPredicate p)
static Sequenic.T3.Info.SeqPredicate.LTL	now(StepPredicate p)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

TT

public static final Sequenic.T3.Info.SeqPredicate.LTL TT

Constructor Detail

SeqPredicate

public SeqPredicate()

Method Detail

now

public static Sequenic.T3.Info.SeqPredicate.LTL now(StepPredicate p)

next

public static Sequenic.T3.Info.SeqPredicate.LTL next(StepPredicate p)

next

public static Sequenic.T3.Info.SeqPredicate.LTL next(Sequenic.T3.Info.SeqPredicate.LTL p)

not

public static Sequenic.T3.Info.SeqPredicate.LTL not(StepPredicate p)

not

public static Sequenic.T3.Info.SeqPredicate.LTL not(Sequenic.T3.Info.SeqPredicate.LTL p)

eventually

public static Sequenic.T3.Info.SeqPredicate.LTL eventually(StepPredicate p)

eventually

public static Sequenic.T3.Info.SeqPredicate.LTL eventually(Sequenic.T3.Info.SeqPredicate.LTL p)

always

public static Sequenic.T3.Info.SeqPredicate.LTL always(StepPredicate p)

always

public static Sequenic.T3.Info.SeqPredicate.LTL always(Sequenic.T3.Info.SeqPredicate.LTL p)