Method List
-
#! Predicate::Contradiction
-
#! Predicate::Not
-
#! Predicate
-
#! Predicate::Tautology
-
#! Predicate::DyadicComp
-
#! Predicate::Expr
-
#& Predicate
-
#& Predicate::Expr
-
#& Predicate::Tautology
-
#& Predicate::Contradiction
-
#== Predicate
-
#and Predicate::Factory
-
#and_split Predicate::Contradiction
-
#and_split Predicate
-
#and_split Predicate::Expr
-
#and_split Predicate::And
-
#between Predicate::Factory
-
coerce Predicate
-
#comp Predicate::Factory
-
#constant_variables Predicate::Expr
-
#constant_variables Predicate
-
#constant_variables Predicate::And
-
#constant_variables Predicate::In
-
#constant_variables Predicate::Eq
-
#contradiction Predicate::Factory
-
#contradiction? Predicate::Expr
-
#contradiction? Predicate
-
#contradiction? Predicate::Contradiction
-
#default_tagging_module Predicate::Grammar
-
#evaluate Predicate
-
#free_variables Predicate::Literal
-
#free_variables Predicate::Identifier
-
#free_variables Predicate::DyadicComp
-
#free_variables Predicate::NadicBool
-
#free_variables Predicate::Not
-
#free_variables Predicate
-
#free_variables Predicate::Tautology
-
#free_variables Predicate::Contradiction
-
#free_variables Predicate::QualifiedIdentifier
-
#free_variables Predicate::Native
-
#free_variables Predicate::In
-
#from_hash Predicate::Factory
-
#hash Predicate
-
#identifier Predicate::In
-
#identifier Predicate::Factory
-
#in Predicate::Factory
-
#initialize Predicate::Qualifier
-
#initialize Predicate
-
#left Predicate::DyadicComp
-
#literal Predicate::Factory
-
#name Predicate::QualifiedIdentifier
-
#name Predicate::Identifier
-
#native Predicate::Factory
-
#native? Predicate
-
#not Predicate::Factory
-
#on_and Predicate::ToSequel
-
#on_contradiction Predicate::ToRubyCode
-
#on_contradiction Predicate::ToSequel
-
#on_dyadic Predicate::ToRubyCode
-
#on_dyadic_comp Predicate::ToSequel
-
#on_eq Predicate::ToSequel
-
#on_identifier Predicate::Renamer
-
#on_identifier Predicate::Qualifier
-
#on_identifier Predicate::ToSequel
-
#on_identifier Predicate::ToRubyCode
-
#on_in Predicate::ToRubyCode
-
#on_in Predicate::ToSequel
-
#on_literal Predicate::ToSequel
-
#on_literal Predicate::ToRubyCode
-
#on_nadic_bool Predicate::ToRubyCode
-
#on_native Predicate::ToSequel
-
#on_native Predicate::Renamer
-
#on_native Predicate::Qualifier
-
#on_neq Predicate::ToSequel
-
#on_not Predicate::ToSequel
-
#on_not Predicate::ToRubyCode
-
#on_or Predicate::ToSequel
-
#on_qualified_identifier Predicate::ToSequel
-
#on_qualified_identifier Predicate::Renamer
-
#on_qualified_identifier Predicate::ToRubyCode
-
#on_tautology Predicate::ToSequel
-
#on_tautology Predicate::ToRubyCode
-
#operator_symbol Predicate::Neq
-
#operator_symbol Predicate::Lte
-
#operator_symbol Predicate::Not
-
#operator_symbol Predicate::And
-
#operator_symbol Predicate::Lt
-
#operator_symbol Predicate::Or
-
#operator_symbol Predicate::Gte
-
#operator_symbol Predicate::Eq
-
#operator_symbol Predicate::Gt
-
#or Predicate::Factory
-
#priority Predicate::QualifiedIdentifier
-
#priority Predicate::Not
-
#priority Predicate::DyadicComp
-
#priority Predicate::In
-
#priority Predicate::NadicBool
-
#priority Predicate::Identifier
-
#priority Predicate::Tautology
-
#priority Predicate::Literal
-
#priority Predicate::Native
-
#priority Predicate::Contradiction
-
#proc Predicate::Native
-
#qualified_identifier Predicate::Factory
-
#qualifier Predicate::Qualifier
-
#qualifier Predicate::QualifiedIdentifier
-
#qualify Predicate::Expr
-
#qualify Predicate
-
#rename Predicate::Expr
-
#rename Predicate
-
#right Predicate::DyadicComp
-
#sexpr Predicate::Expr
-
#sexpr Predicate
-
#tagging_reference Predicate::Grammar
-
#tautology Predicate::Factory
-
#tautology? Predicate::Tautology
-
#tautology? Predicate::Expr
-
#tautology? Predicate
-
#to_proc Predicate::Native
-
#to_proc Predicate
-
#to_proc Predicate::Expr
-
#to_ruby_code Predicate::Native
-
#to_ruby_code Predicate::Expr
-
#to_ruby_code Predicate
-
#to_sequel Predicate
-
#to_sequel Predicate::Expr
-
#value Predicate::Literal
-
#values Predicate::In
-
#| Predicate::Tautology
-
#| Predicate::Expr
-
#| Predicate
-
#| Predicate::Contradiction