Module biodivine_sketchbook::algorithms::fo_logic::eval_algorithm

Functions

• eval_applied_uninterpred_function 🔒
  Evaluate uninterpreted function applied to given arguments.
• eval_applied_update_function 🔒
  Evaluate update function symbol applied to given arguments.
• eval_equiv 🔒
  Evaluate the equivalence operation.
• eval_exists 🔒
  Evaluate existential quantifier.
• eval_forall 🔒
  Evaluate universal quantifier.
• eval_imp 🔒
  Evaluate the implication operation.
• eval_neg 🔒
  Evaluate negation respecting the allowed universe.
• eval_node
  Recursively evaluate the sub-formula represented by a node (of a syntactic tree) on a given graph.
• eval_variable 🔒
  Evaluate a variable term.
• eval_xor 🔒
  Evaluate the non-equivalence operation (xor).