Table of Contents - tensai-logic-0.1.2 Documentation
Classes and Modules
- Tensai
- Tensai::Logic
- Tensai::Logic::Entity
- Tensai::Logic::Formula
- Tensai::Logic::Formulas
- Tensai::Logic::Formulas::Atom
- Tensai::Logic::Predicate
- Tensai::Logic::Variable
Methods
- ::create_subtype — Tensai::Logic::Entity
- ::name — Tensai::Logic::Entity
- #accepts? — Tensai::Logic::Predicate
- #accepts? — Tensai::Logic::Variable
- #after_initialize — Tensai::Logic::Formulas::Atom
- #after_initialize — Tensai::Logic::Predicate
- #inspect — Tensai::Logic::Entity
- #inspect — Tensai::Logic::Formulas::Atom
- #inspect — Tensai::Logic::Predicate
- #inspect — Tensai::Logic::Variable
- #variable_names — Tensai::Logic::Predicate