edu.wis.jtlv.env.core.spec
Class InitSpec

java.lang.Object
  extended by edu.wis.jtlv.env.core.spec.InitSpec

public class InitSpec
extends java.lang.Object


Constructor Summary
InitSpec()
           
 
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
 

Constructor Detail

InitSpec

public InitSpec()
Method Detail

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