Table of Contents - prop_logic-0.2.4 Documentation
Classes and Modules
- PropLogic
- PropLogic::AndTerm
- PropLogic::BruteForceSatSolver
- PropLogic::Constant
- PropLogic::DefaultIncrementalSolver
- PropLogic::FalseConstant
- PropLogic::Functions
- PropLogic::NotTerm
- PropLogic::OrTerm
- PropLogic::Term
- PropLogic::ThenTerm
- PropLogic::TrueConstant
- PropLogic::Variable
Methods
- ::all_combination — PropLogic
- ::cached — PropLogic::Term
- ::call — PropLogic::BruteForceSatSolver
- ::generate_cache — PropLogic::Term
- ::get — PropLogic::Term
- ::new — PropLogic::AndTerm
- ::new — PropLogic::DefaultIncrementalSolver
- ::new — PropLogic::Term
- ::new — PropLogic::NotTerm
- ::new — PropLogic::OrTerm
- ::new — PropLogic::ThenTerm
- ::new — PropLogic::Variable
- ::new — PropLogic::Variable
- ::sat_solver= — PropLogic
- ::validate_terms — PropLogic::Term
- #& — PropLogic::Term
- #-@ — PropLogic::Term
- #-@ — PropLogic::Variable
- #<< — PropLogic::DefaultIncrementalSolver
- #>> — PropLogic::Term
- #add — PropLogic::DefaultIncrementalSolver
- #all_and — PropLogic::Functions
- #all_combination — PropLogic
- #all_or — PropLogic::Functions
- #and — PropLogic::Term
- #assign — PropLogic::TrueConstant
- #assign — PropLogic::FalseConstant
- #assign — PropLogic::Term
- #assign — PropLogic::Variable
- #assign_false — PropLogic::Term
- #assign_true — PropLogic::Term
- #check_ambivalent_vars — PropLogic::Term
- #check_nnf_reduced — PropLogic::Term
- #check_term_uniqueness — PropLogic::Term
- #cnf? — PropLogic::AndTerm
- #cnf? — PropLogic::Term
- #cnf? — PropLogic::NotTerm
- #cnf? — PropLogic::OrTerm
- #cnf? — PropLogic::Variable
- #each_sat — PropLogic::Term
- #equiv? — PropLogic::Term
- #initialize_copy — PropLogic::Term
- #new_variable — PropLogic::Functions
- #nnf? — PropLogic::AndTerm
- #nnf? — PropLogic::Term
- #nnf? — PropLogic::NotTerm
- #nnf? — PropLogic::OrTerm
- #nnf? — PropLogic::ThenTerm
- #nnf? — PropLogic::Variable
- #not — PropLogic::Term
- #not — PropLogic::Variable
- #or — PropLogic::Term
- #reduce — PropLogic::AndTerm
- #reduce — PropLogic::Term
- #reduce — PropLogic::NotTerm
- #reduce — PropLogic::OrTerm
- #reduce — PropLogic::ThenTerm
- #reduced? — PropLogic::AndTerm
- #reduced? — PropLogic::Term
- #reduced? — PropLogic::NotTerm
- #reduced? — PropLogic::OrTerm
- #reduced? — PropLogic::Variable
- #sat? — PropLogic::DefaultIncrementalSolver
- #sat? — PropLogic::Term
- #sat_loop — PropLogic::Functions
- #then — PropLogic::Term
- #to_cnf — PropLogic::AndTerm
- #to_cnf — PropLogic::Constant
- #to_cnf — PropLogic::Term
- #to_cnf — PropLogic::NotTerm
- #to_cnf — PropLogic::OrTerm
- #to_cnf — PropLogic::Variable
- #to_nnf — PropLogic::Term
- #to_nnf — PropLogic::NotTerm
- #to_nnf — PropLogic::ThenTerm
- #to_s — PropLogic::AndTerm
- #to_s — PropLogic::TrueConstant
- #to_s — PropLogic::FalseConstant
- #to_s — PropLogic::NotTerm
- #to_s — PropLogic::OrTerm
- #to_s — PropLogic::ThenTerm
- #to_s — PropLogic::Variable
- #to_s_in_term — PropLogic::Term
- #tseitin — PropLogic::AndTerm
- #tseitin — PropLogic::NotTerm
- #tseitin — PropLogic::OrTerm
- #tseitin — PropLogic::Variable
- #unsat? — PropLogic::Term
- #variables — PropLogic::Constant
- #variables — PropLogic::Term
- #variables — PropLogic::Variable
- #| — PropLogic::Term
- #~ — PropLogic::Term
- #~ — PropLogic::Variable