Module extraction

Expand description

Module implementing the extraction of internal specification type from general LTL formulas

Enums§

and_inside_eventually 🔒: Helper function to and constraints inside an eventually specification
extract_atom_helper 🔒: Upwards closed set of a single atom
extract_error_formula 🔒: Error formula of an ELTL formula without negations
extract_from_inner_eventually_helper 🔒: Extract the targets of an ELTL formula that is inside an outer <>
extract_from_inner_globally_helper 🔒: Helper function to extract the target of an ELTL formula that appears inside of an outer []
or_inside_globally 🔒: Disjunction of two targets that are the operands of one || inside an outer []
unify_all_possible 🔒: Helper function for combining two disjunctions into one