Module integer_exprs 

Module declaring helper functions to parse expressions over integers, including boolean expressions over integers

This module implements the parsing of expressions involving integers, such as for example boolean expressions over integers or update expressions over integers.

Structs

PRATT_PARSER 🔒

Functions

parse_assignment_expression 🔒

Parse an assignment expression of an action into the corresponding list of actions

parse_boolean_atom 🔒

Parse boolean_atom

parse_boolean_con 🔒

Parse boolean connectives

parse_boolean_const 🔒

Parse boolean constant

parse_cardinality_expr 🔒

Parses a constraint of the form Cardinality({p \in Processes : ProcessesLocations[p] = "loc0"}) into an IntegerExpression::Atom(Location::new("loc0"))

parse_comparison_expr

Parse a pair of type comparison_expr into a CompExpr

parse_comparison_op 🔒

Parse comparison operator

parse_int_boolean_expr 🔒

Parse an expression of type int_bool_expr into a BooleanExpression

parse_integer_atom 🔒

Parse integer atom

parse_integer_binary_op 🔒

Parse an integer operator

parse_integer_const 🔒

Parse integer constant

parse_integer_expr 🔒

Parse expression over integers into an integer expression

parse_integer_update_expr 🔒

Parse a pair of type integer_update into an [Action]

parse_ltl_atom 🔒

Parse an ltl atom into a single ltl expression

parse_ltl_expr 🔒

Parse an ltl expression into a single ltl expression

parse_ltl_specification 🔒

Parse a single ltl specification

Type Aliases

CompExpr 🔒

Intermediate type for comparison expression of the form lhs op rhs