spot
2.11.6
|
Classes | |
class | spot::formula |
Main class for temporal logic formula. More... | |
Enumerations | |
enum class | spot::op : uint8_t { spot::ff , spot::tt , spot::eword , spot::ap , spot::Not , spot::X , spot::F , spot::G , spot::Closure , spot::NegClosure , spot::NegClosureMarked , spot::Xor , spot::Implies , spot::Equiv , spot::U , spot::R , spot::W , spot::M , spot::EConcat , spot::EConcatMarked , spot::UConcat , spot::Or , spot::OrRat , spot::And , spot::AndRat , spot::AndNLM , spot::Concat , spot::Fusion , spot::Star , spot::FStar , spot::first_match } |
Operator types. More... | |
|
strong |
#include <spot/tl/formula.hh>
Operator types.