Module biodivine_lib_param_bn::_aeon_parser::_from_string_for_fn_update_temp

(internal) FnUpdateTemp parsing.

Enums

Token

(internal) An enum of possible tokens occurring in a string representation of a FnUpdate.

Functions

and

(internal) Recursive parsing step 4: extract & operators.

iff

(internal) Recursive parsing step 1: extract <=> operators.

imp

(internal) Recursive parsing step 2: extract => operators.

index_of_first

(internal) Utility method to find first occurrence of a specific token in the token tree.

is_valid_in_name

(internal) Check if given char can appear in a name.

or

(internal) Recursive parsing step 3: extract | operators.

parse_update_function

(internal) Parse a FnUpdateTemp using the recursive steps.

read_args

(internal) Parse a list of function arguments. All arguments must be names separated by commas.

terminal

(internal) Recursive parsing step 6: extract terminals and negations.

tokenize_function_group

(internal) Process a peekable iterator of characters into a vector of Tokens.

xor

(internal) Recursive parsing step 5: extract ^ operators.