edu.wis.jtlv.env.core.spec
Class InitSpec
java.lang.Object
edu.wis.jtlv.env.core.spec.InitSpec
public class InitSpec
- extends java.lang.Object
Method Summary |
static InternalSpec |
mk_ABF(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpecCTLRange l,
InternalSpec r)
|
static InternalSpec |
mk_ABG(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpecCTLRange l,
InternalSpec r)
|
static InternalSpec |
mk_ABU(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpecCTLRange m,
InternalSpec r)
|
static InternalSpec |
mk_AF(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_AG(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_and(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_AU(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_AU(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_AX(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_concatenation(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_divide(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_EBF(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpecCTLRange l,
InternalSpec r)
|
static InternalSpec |
mk_EBG(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpecCTLRange l,
InternalSpec r)
|
static InternalSpec |
mk_EBU(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpecCTLRange m,
InternalSpec r)
|
static InternalSpec |
mk_EF(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_EG(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_eq(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_EU(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_EU(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_EX(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_finally(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_ge(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_globally(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_gt(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_historically(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_iff(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_imply(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_le(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_lshift(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_lt(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_minus(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_mod(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_neq(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_next(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_not(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_notprevnot(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_once(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_or(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_plus(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_prev(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_range(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str)
|
static InternalSpec |
mk_ref(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str)
|
static InternalSpec |
mk_releases(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_rshift(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_set(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str)
|
static InternalSpec |
mk_setin(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_since(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_times(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_triggered(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_unary_minus(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
|
static InternalSpec |
mk_union(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_until(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_xnor(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
static InternalSpec |
mk_xor(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
InitSpec
public InitSpec()
mk_imply
public static InternalSpec mk_imply(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_iff
public static InternalSpec mk_iff(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_or
public static InternalSpec mk_or(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_xor
public static InternalSpec mk_xor(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_xnor
public static InternalSpec mk_xnor(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_and
public static InternalSpec mk_and(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_not
public static InternalSpec mk_not(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_until
public static InternalSpec mk_until(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_since
public static InternalSpec mk_since(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_releases
public static InternalSpec mk_releases(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_triggered
public static InternalSpec mk_triggered(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_next
public static InternalSpec mk_next(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_prev
public static InternalSpec mk_prev(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_notprevnot
public static InternalSpec mk_notprevnot(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_globally
public static InternalSpec mk_globally(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_historically
public static InternalSpec mk_historically(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_finally
public static InternalSpec mk_finally(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_once
public static InternalSpec mk_once(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_EX
public static InternalSpec mk_EX(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_AX
public static InternalSpec mk_AX(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_EF
public static InternalSpec mk_EF(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_AF
public static InternalSpec mk_AF(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_EG
public static InternalSpec mk_EG(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_AG
public static InternalSpec mk_AG(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_AU
public static InternalSpec mk_AU(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_AU
public static InternalSpec mk_AU(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_EU
public static InternalSpec mk_EU(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_EU
public static InternalSpec mk_EU(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_ABU
public static InternalSpec mk_ABU(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpecCTLRange m,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_EBU
public static InternalSpec mk_EBU(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpecCTLRange m,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_EBF
public static InternalSpec mk_EBF(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpecCTLRange l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_ABF
public static InternalSpec mk_ABF(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpecCTLRange l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_EBG
public static InternalSpec mk_EBG(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpecCTLRange l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_ABG
public static InternalSpec mk_ABG(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpecCTLRange l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_eq
public static InternalSpec mk_eq(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_neq
public static InternalSpec mk_neq(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_lt
public static InternalSpec mk_lt(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_gt
public static InternalSpec mk_gt(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_le
public static InternalSpec mk_le(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_ge
public static InternalSpec mk_ge(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_setin
public static InternalSpec mk_setin(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_union
public static InternalSpec mk_union(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_set
public static InternalSpec mk_set(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str)
throws SpecParseException
- Throws:
SpecParseException
mk_range
public static InternalSpec mk_range(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str)
throws SpecParseException
- Throws:
SpecParseException
mk_lshift
public static InternalSpec mk_lshift(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_rshift
public static InternalSpec mk_rshift(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_mod
public static InternalSpec mk_mod(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_plus
public static InternalSpec mk_plus(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_minus
public static InternalSpec mk_minus(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_times
public static InternalSpec mk_times(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_divide
public static InternalSpec mk_divide(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_concatenation
public static InternalSpec mk_concatenation(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec l,
InternalSpec r)
throws SpecParseException
- Throws:
SpecParseException
mk_unary_minus
public static InternalSpec mk_unary_minus(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str,
InternalSpec v)
throws SpecParseException
- Throws:
SpecParseException
mk_ref
public static InternalSpec mk_ref(org.antlr.runtime.TokenStream input,
org.antlr.runtime.Token start,
java.lang.String exp_str)
throws SpecParseException
- Throws:
SpecParseException