Table of Contents - satre-1.0.0 Documentation
Classes and Modules
- ArgumentError
- ExpressionError
- ParserError
- Satre
- Satre::And
- Satre::Atom
- Satre::Entails
- Satre::Exists
- Satre::False
- Satre::Fol_Formula
- Satre::Forall
- Satre::Formula
- Satre::FormulaParser
- Satre::Function
- Satre::Iff
- Satre::Imp
- Satre::Lexer
- Satre::Not
- Satre::Or
- Satre::Parser
- Satre::Relation
- Satre::Term
- Satre::TermParser
- Satre::True
- Satre::Variable
- String
Methods
- ::alpanumeric? — Satre::Lexer
- ::is_const_name — Satre::Parser
- ::is_const_name — Satre::TermParser
- ::lex — Satre::Lexer
- ::lexwhile — Satre::Lexer
- ::make_parser — Satre::Parser
- ::matches — Satre::Lexer
- ::new — Satre::Exists
- ::new — Satre::Forall
- ::new — Satre::Relation
- ::new — Satre::And
- ::new — Satre::Atom
- ::new — Satre::Entails
- ::new — Satre::Iff
- ::new — Satre::Imp
- ::new — Satre::Not
- ::new — Satre::Or
- ::new — Satre::Function
- ::new — Satre::Variable
- ::nextin — Satre::Parser
- ::numeric? — Satre::Lexer
- ::papply — Satre::Parser
- ::parse — Satre::FormulaParser
- ::parse — Satre::TermParser
- ::parse_atom — Satre::TermParser
- ::parse_atomic_formula — Satre::FormulaParser
- ::parse_atomic_term — Satre::TermParser
- ::parse_bracketed — Satre::Parser
- ::parse_formula — Satre::FormulaParser
- ::parse_formula — Satre::TermParser
- ::parse_ginfix — Satre::Parser
- ::parse_infix_atom — Satre::FormulaParser
- ::parse_left_infix — Satre::Parser
- ::parse_list — Satre::Parser
- ::parse_quant — Satre::FormulaParser
- ::parse_right_infix — Satre::Parser
- ::parse_term — Satre::TermParser
- ::punctuation? — Satre::Lexer
- ::refute — Satre::Lexer
- ::space? — Satre::Lexer
- ::symbolic? — Satre::Lexer
- #<=> — Satre::Formula
- #atoms — Satre::Formula
- #atoms — Satre::And
- #atoms — Satre::Atom
- #atoms — Satre::Entails
- #atoms — Satre::False
- #atoms — Satre::Iff
- #atoms — Satre::Imp
- #atoms — Satre::Not
- #atoms — Satre::Or
- #atoms — Satre::True
- #entails? — Satre::Formula
- #eval — Satre::Formula
- #eval — Satre::And
- #eval — Satre::Atom
- #eval — Satre::Entails
- #eval — Satre::False
- #eval — Satre::Iff
- #eval — Satre::Imp
- #eval — Satre::Not
- #eval — Satre::Or
- #eval — Satre::True
- #hold? — Satre::Entails
- #holds? — Satre::Exists
- #holds? — Satre::Fol_Formula
- #holds? — Satre::Forall
- #holds? — Satre::Relation
- #holds? — Satre::And
- #holds? — Satre::Atom
- #holds? — Satre::False
- #holds? — Satre::Iff
- #holds? — Satre::Imp
- #holds? — Satre::Not
- #holds? — Satre::Or
- #holds? — Satre::True
- #on_all_valuations? — Satre::Formula
- #satifiable? — Satre::Formula
- #tautology? — Satre::Formula
- #to_formula — String
- #to_s — Satre::Exists
- #to_s — Satre::Forall
- #to_s — Satre::Relation
- #to_s — Satre::And
- #to_s — Satre::Atom
- #to_s — Satre::Entails
- #to_s — Satre::False
- #to_s — Satre::Iff
- #to_s — Satre::Imp
- #to_s — Satre::Not
- #to_s — Satre::Or
- #to_s — Satre::True
- #to_s — Satre::Function
- #to_s — Satre::Variable
- #to_term — String
- #unsatifiable? — Satre::Formula
- #validate — Satre::Function
- #validate — Satre::Variable
- #wellformed? — Satre::Exists
- #wellformed? — Satre::Fol_Formula
- #wellformed? — Satre::Forall
- #wellformed? — Satre::Relation
- #wellformed? — Satre::And
- #wellformed? — Satre::Atom
- #wellformed? — Satre::Entails
- #wellformed? — Satre::False
- #wellformed? — Satre::Iff
- #wellformed? — Satre::Imp
- #wellformed? — Satre::Not
- #wellformed? — Satre::Or
- #wellformed? — Satre::True
- #wellformed? — Satre::Function
- #wellformed? — Satre::Variable