List of all items[−]
Structs
- axioms::PEANO
- deduction::Deduction
- properties::EXISTS_CHAIN
- properties::FORALL_CHAIN
- properties::NOT_EXISTS_CHAIN
- properties::NOT_FORALL_CHAIN
- properties::NUM
- properties::NUM_GEQ_ONE
- properties::VAR
- string_manip::HEAD_QUANT
- string_manip::QUANT
- string_manip::QUANT_VAR
- string_manip::UN_QUANT_VAR
- string_manip::VAR
- translate::EXISTS_CHAIN
- translate::FORALL_CHAIN
- translate::NOT_EXISTS_CHAIN
- translate::NOT_FORALL_CHAIN
- translate::NUM
- translate::NUM_GEQ_ONE
- translate::QUANT
- translate::SUCC_VAR
- translate::SUCC_VAR_MIN_ONE
- translate::VAR
- types::Equation
- types::Number
- types::Variable
Enums
Traits
Functions
- ops_construction::and
- ops_construction::eq
- ops_construction::exists
- ops_construction::forall
- ops_construction::implies
- ops_construction::not
- ops_construction::or
- ops_production::existence
- ops_production::generalization
- ops_production::induction
- ops_production::interchange_ae
- ops_production::interchange_ea
- ops_production::predecessor
- ops_production::specification
- ops_production::successor
- ops_production::symmetry
- ops_production::transitivity
- properties::is_complex_formula
- properties::is_equation
- properties::is_formula
- properties::is_num
- properties::is_simple_formula
- properties::is_var
- properties::is_well_quantified
- string_manip::_get_quants
- string_manip::_replace_var_in_string
- string_manip::_var_in_string
- string_manip::get_bound_vars
- string_manip::get_free_vars
- string_manip::get_unquant_vars
- string_manip::get_vars
- string_manip::left_implies
- string_manip::left_match
- string_manip::split_arithmetic
- string_manip::split_eq
- string_manip::split_logical
- string_manip::strip_neg
- string_manip::strip_quant
- string_manip::strip_succ_all
- translate::arithmetize
- translate::dearithmetize
- translate::english_num
- translate::english_quant_chains
- translate::english_successor
- translate::get_vars
- translate::to_english
- translate::to_latex