Method List

Classes Methods Files

Search:

#== Propose::Tree::BinaryOperation
#== Propose::Tree::UnaryOperation
#== Propose::Tree::Atom
#== Propose::Tree::Sequent
#atoms Propose::AtomFinder
#children Propose::Tree::Sequent
#children Propose::Tree::BinaryOperation
#children Propose::Tree::Node
#children Propose::Tree::UnaryOperation
#conclusion Propose::Tree::Sequent
#eql? Propose::Tree::Atom
#evaluate Propose::Tree::Implication
#evaluate Propose::Tree::Negation
#evaluate Propose::Tree::Falsum
#evaluate Propose::Tree::Atom
#evaluate Propose::Tree::Verum
#evaluate Propose::Tree::Conjunction
#evaluate Propose::Tree::Disjunction
#evaluations Propose::TruthTable
#formula Propose::TruthTable
#formula Propose::Tree::UnaryOperation
#formula_atoms Propose::TruthTable
#hash Propose::Tree::Atom
#initialize Propose::AtomFinder
#initialize Propose::Tree::Conjunction
#initialize Propose::Tree::Disjunction
#initialize Propose::Tree::Implication
#initialize Propose::Tree::BinaryOperation
#initialize Propose::Tree::Atom
#initialize Propose::Tree::UnaryOperation
#initialize Propose::Tree::Negation
#initialize Propose::TruthTable
#initialize Propose::Tree::Sequent
#inspect Propose::Tree::Falsum
#inspect Propose::Tree::Verum
#inspect Propose::Tree::BinaryOperation
#inspect Propose::Tree::Atom
#inspect Propose::Tree::UnaryOperation
#inspect Propose::Tree::Sequent
#left Propose::Tree::BinaryOperation
#literal? Propose::Tree::Falsum
#literal? Propose::Tree::Verum
#literal? Propose::Tree::Atom
#literal? Propose::Tree::Node
#literal? Propose::Tree::UnaryOperation
#name Propose::Tree::Atom
#operator Propose::Tree::UnaryOperation
#operator Propose::Tree::BinaryOperation
parse Propose::Parser
#premises Propose::Tree::Sequent
#right Propose::Tree::BinaryOperation
#run Propose::REPL
#to_s Propose::Tree::Sequent
#to_s Propose::Tree::Verum
#to_s Propose::Tree::Falsum
#to_s Propose::Tree::Atom
#to_s Propose::Tree::UnaryOperation
#to_s Propose::Tree::BinaryOperation
#visit Propose::Visitor
#visit_atom Propose::AtomFinder