Module biodivine_sketchbook::algorithms::fo_logic::operator_enums

source ·

Re-exports§

  • pub use crate::sketchbook::model::BinaryOp;

Structs§

  • FunctionSymbol
    A named function symbol with a boolean flag whether the symbol is an explicit uninterpreted function, or an implicit update function implicit.

Enums§

  • Atom
    Enum for atomic terms: variables and constants.
  • Quantifier
    Enum for quantifiers in a FOL formula string.
  • UnaryOp
    Enum for all possible Boolean unary operators occurring in a FOL formula string.