Table of Contents - logica-0.0.3 Documentation
Pages
-
CHANGELOG
- Logica Changelog
- Unreleased
- 0.0.3 (2017-07-02)
- 0.0.2 (2017-06-24)
- 0.0.1 (2017-06-20)
- CODE_OF_CONDUCT
- LICENSE
- README
Classes and Modules
- Logica
- Logica::ComparableByState
- Logica::PredicateFactory
- Logica::Predicates
- Logica::Predicates::AdHoc
- Logica::Predicates::Base
- Logica::Predicates::Compounds
- Logica::Predicates::Compounds::AtLeast
- Logica::Predicates::Compounds::Base
- Logica::Predicates::Compounds::Conjunction
- Logica::Predicates::Compounds::Disjunction
- Logica::Predicates::Contradiction
- Logica::Predicates::Negation
- Logica::Predicates::PartialApplication
- Logica::Predicates::Tautology
Methods
- ::absorbing_element — Logica::Predicates::Compounds::Conjunction
- ::absorbing_element — Logica::Predicates::Compounds::Disjunction
- ::internal_binary_operation — Logica::Predicates::Compounds::Conjunction
- ::internal_binary_operation — Logica::Predicates::Compounds::Disjunction
- ::neutral_element — Logica::Predicates::Compounds::Conjunction
- ::neutral_element — Logica::Predicates::Compounds::Disjunction
- ::new — Logica::Predicates::AdHoc
- ::new — Logica::Predicates::Compounds::AtLeast
- ::new — Logica::Predicates::Compounds::Base
- ::new — Logica::Predicates::Negation
- ::new — Logica::Predicates::PartialApplication
- ::new_from_list — Logica::Predicates::Compounds::Base
- ::new_from_pair — Logica::Predicates::Compounds::Base
- ::predicate_factory — Logica::Predicates::Base
- ::predicate_factory — Logica
- #== — Logica::ComparableByState
- #absorbing_element — Logica::Predicates::Compounds::Base
- #ad_hoc — Logica::PredicateFactory
- #ad_hoc_class — Logica::PredicateFactory
- #and — Logica::Predicates::Base
- #and — Logica::Predicates::Compounds::AtLeast
- #and — Logica::Predicates::Compounds::Conjunction
- #and_not — Logica::Predicates::Base
- #and_with_at_least — Logica::Predicates::Base
- #and_with_conjunction — Logica::Predicates::Base
- #and_with_conjunction — Logica::Predicates::Compounds::Conjunction
- #and_with_other — Logica::Predicates::Base
- #and_with_other — Logica::Predicates::Compounds::AtLeast
- #and_with_other — Logica::Predicates::Compounds::Conjunction
- #annihilated_by? — Logica::Predicates::Compounds::Base
- #annihilation? — Logica::Predicates::Compounds::Conjunction
- #annihilation? — Logica::Predicates::Compounds::Disjunction
- #arity — Logica::Predicates::Base
- #arity — Logica::Predicates::Compounds::Base
- #arity — Logica::Predicates::Negation
- #arity — Logica::Predicates::PartialApplication
- #at_least — Logica::PredicateFactory
- #at_least_class — Logica::PredicateFactory
- #at_most — Logica::PredicateFactory
- #attributes — Logica::ComparableByState
- #attributes_string — Logica::Predicates::Compounds::Base
- #between — Logica::PredicateFactory
- #composability_error_message — Logica::Predicates::Compounds::Base
- #compound_from_list — Logica::PredicateFactory
- #compound_from_pair — Logica::PredicateFactory
- #conjunction — Logica::PredicateFactory
- #conjunction_class — Logica::PredicateFactory
- #conjunction_from_pair — Logica::PredicateFactory
- #contradiction — Logica::PredicateFactory
- #contradiction_class — Logica::PredicateFactory
- #disjoint_with? — Logica::Predicates::Base
- #disjoint_with_other? — Logica::Predicates::Base
- #disjoint_with_other? — Logica::Predicates::Negation
- #disjunction — Logica::PredicateFactory
- #disjunction_class — Logica::PredicateFactory
- #disjunction_from_pair — Logica::PredicateFactory
- #do_method_missing — Logica::Predicates::Base
- #do_method_missing — Logica::Predicates::Compounds::AtLeast
- #do_partially_applied_with — Logica::Predicates::Base
- #do_partially_applied_with — Logica::Predicates::PartialApplication
- #do_respond_to_missing? — Logica::Predicates::Base
- #do_respond_to_missing? — Logica::Predicates::Compounds::AtLeast
- #eql? — Logica::ComparableByState
- #exactly — Logica::PredicateFactory
- #exhaustive_with? — Logica::Predicates::Base
- #exhaustive_with_other? — Logica::Predicates::Base
- #from_block — Logica::PredicateFactory
- #generalization_of? — Logica::Predicates::Base
- #generalization_of_conjunction? — Logica::Predicates::Base
- #generalization_of_negation_of? — Logica::Predicates::Base
- #generalization_of_negation_of? — Logica::Predicates::Negation
- #generalization_of_negation_of? — Logica::Predicates::Tautology
- #generalization_of_other? — Logica::Predicates::Base
- #generalization_of_other? — Logica::Predicates::Compounds::Disjunction
- #generalization_of_other? — Logica::Predicates::Contradiction
- #generalization_of_other? — Logica::Predicates::Tautology
- #hash — Logica::ComparableByState
- #iff — Logica::Predicates::Base
- #implies — Logica::Predicates::Base
- #method_missing — Logica::Predicates::Base
- #name — Logica::Predicates::Base
- #name — Logica::Predicates::Compounds::Conjunction
- #name — Logica::Predicates::Compounds::Disjunction
- #name — Logica::Predicates::Negation
- #name_and_attributes — Logica::Predicates::AdHoc
- #name_and_attributes — Logica::Predicates::Base
- #name_and_attributes — Logica::Predicates::Compounds::AtLeast
- #name_and_attributes — Logica::Predicates::Compounds::Base
- #name_and_attributes — Logica::Predicates::Negation
- #name_and_attributes — Logica::Predicates::PartialApplication
- #negated — Logica::Predicates::Base
- #negated — Logica::Predicates::Contradiction
- #negated — Logica::Predicates::Negation
- #negated — Logica::Predicates::Tautology
- #negation — Logica::PredicateFactory
- #negation_class — Logica::PredicateFactory
- #new_from_list — Logica::Predicates::Compounds::AtLeast
- #new_from_list — Logica::Predicates::Compounds::Base
- #new_with_predicates — Logica::Predicates::Compounds::Base
- #or — Logica::Predicates::Base
- #or — Logica::Predicates::Compounds::Disjunction
- #or_not — Logica::Predicates::Base
- #or_with_disjunction — Logica::Predicates::Base
- #or_with_disjunction — Logica::Predicates::Compounds::Disjunction
- #or_with_other — Logica::Predicates::Base
- #or_with_other — Logica::Predicates::Compounds::Disjunction
- #partial_application — Logica::PredicateFactory
- #partial_application_class — Logica::PredicateFactory
- #partial_application_error_message — Logica::Predicates::Base
- #partially_applied_with — Logica::Predicates::Base
- #portion_satisfied_by — Logica::Predicates::Base
- #portion_satisfied_by — Logica::Predicates::Compounds::AtLeast
- #portion_satisfied_by — Logica::Predicates::Compounds::Conjunction
- #portion_satisfied_by — Logica::Predicates::Compounds::Disjunction
- #predicate_factory — Logica::Predicates::Base
- #predicates_are_composable? — Logica::Predicates::Compounds::Base
- #predicates_satisfied_by — Logica::Predicates::Compounds::Base
- #predicates_unsatisfied_by — Logica::Predicates::Compounds::Base
- #raise_composability_error — Logica::Predicates::Compounds::Base
- #remainder_unsatisfied_by — Logica::Predicates::Base
- #remainder_unsatisfied_by — Logica::Predicates::Compounds::AtLeast
- #remainder_unsatisfied_by — Logica::Predicates::Compounds::Conjunction
- #remainder_unsatisfied_by — Logica::Predicates::Compounds::Disjunction
- #respond_to_missing? — Logica::Predicates::Base
- #satisfied_by? — Logica::Predicates::Compounds::AtLeast
- #satisfied_by? — Logica::Predicates::Compounds::Conjunction
- #satisfied_by? — Logica::Predicates::Compounds::Disjunction
- #satisfied_by? — Logica::Predicates::Contradiction
- #satisfied_by? — Logica::Predicates::Negation
- #satisfied_by? — Logica::Predicates::PartialApplication
- #satisfied_by? — Logica::Predicates::Tautology
- #specialization_of? — Logica::Predicates::Base
- #specialization_of? — Logica::Predicates::Compounds::Conjunction
- #specialization_of? — Logica::Predicates::Compounds::Disjunction
- #specialization_of? — Logica::Predicates::Contradiction
- #specialization_of? — Logica::Predicates::Negation
- #specialization_of? — Logica::Predicates::Tautology
- #specialization_of_other? — Logica::Predicates::Compounds::Conjunction
- #state — Logica::ComparableByState
- #subsumes? — Logica::Predicates::Compounds::Base
- #subsumption? — Logica::Predicates::Compounds::Conjunction
- #subsumption? — Logica::Predicates::Compounds::Disjunction
- #tautology — Logica::PredicateFactory
- #tautology_class — Logica::PredicateFactory
- #to_disjunction — Logica::Predicates::Compounds::AtLeast
- #to_method — Logica::Predicates::Base
- #to_proc — Logica::Predicates::Base
- #to_s — Logica::Predicates::Base
- #to_s — Logica::Predicates::Contradiction
- #to_s — Logica::Predicates::Tautology
- #to_s_suffix — Logica::Predicates::Base
- #unsatisfied_by? — Logica::Predicates::Base
- #validate_composability — Logica::Predicates::Compounds::Base
- #validate_partial_application — Logica::Predicates::Base
- #with_extra_predicate — Logica::Predicates::Compounds::Base
- #with_extra_predicate_first — Logica::Predicates::Compounds::Base
- #with_extra_predicate_last — Logica::Predicates::Compounds::Base
- #with_extra_predicates — Logica::Predicates::Compounds::Base
- #without — Logica::Predicates::Compounds::Base
- #without_predicates — Logica::Predicates::Base
- #without_predicates — Logica::Predicates::Compounds::Base
- #xor — Logica::Predicates::Base