Module biodivine_sketchbook::algorithms::fo_logic::tokenizer

Enums

• FolToken
  Enum of all possible tokens occurring in a FOL formula string.

Functions

• collect_fn_arguments 🔒
  Retrieve the arguments of a function, process everything from “(” up to “)”. Function name is consumed by caller.
• collect_name 🔒
  Retrieve the name (of a proposition or variable) from the input. The first character of the name may or may not be already consumed by the caller.
• collect_vars_from_operator 🔒
• is_false_const 🔒
  Predicate to decide if a given “name” represents false constant.
• is_true_const 🔒
  Predicate to decide if a given “name” represents true constant.
• is_valid_in_name 🔒
  Check if given char can appear in a name.
• is_valid_in_name_optional 🔒
  Check if given char can appear in a name.
• print_tokens
  Print the vector of tokens (for debug purposes).
• print_tokens_recursively 🔒
  Recursively display tokens.
• resolve_term_name 🔒
  Decide whether the name corresponds to a constant or a variable, and return the correct term token.
• skip_whitespaces 🔒
  Check all whitespaces at the front of the iterator.
• try_tokenize_formula
  Try to tokenize given FOL formula string, turning it into a vector of FolToken instances.
• try_tokenize_recursive 🔒
  Process a peekable iterator of characters into a vector of FolTokens. This function is used for both tokenizing a top-level formula an expression that is given as fn’s argument.