Method | Description | |
---|---|---|
ParseQueries ( string query_sequence, List |
Parse a sequence of queries. Eeach query in the sequence must end with a ';'. Output also the individual query strings.
|
|
ParseQuery ( string query ) : |
Parse a single query expression.
|
|
Subexpression ( int i ) : |
Get the i'th subexpression, i must be in 0..Arity-1.
|
|
ToString ( ) : string |
Method | Description | |
---|---|---|
Expression ( |
||
Expression ( string symb, ExpressionKind kind ) : System | ||
GetChar ( EvaluationContext ec, |
||
GetSFA ( EvaluationContext ec ) : Microsoft.Automata.SFA |
||
GetST ( EvaluationContext ec ) : Microsoft.Automata.ST |
||
GetString ( EvaluationContext ec ) : string | ||
IsSFA ( EvaluationContext ec ) : bool | ||
PreProcessString ( string s ) : string | ||
RunQuery ( EvaluationContext ec ) : void |
public static ParseQueries ( string query_sequence, List |
||
query_sequence | string | |
query_strings | List |
|
return | List |
public static ParseQuery ( string query ) : |
||
query | string | |
return |