Method List
-
#== MiniKraken::Core::AnyValue
-
#== MiniKraken::Core::Bookmark
-
#== MiniKraken::Atomic::AtomicTerm
-
#== MiniKraken::Core::Arity
-
#== MiniKraken::Composite::ConsCell
-
#_fail MiniKraken::Glue::DSL
-
#achieve MiniKraken::Core::Goal
-
#actuals MiniKraken::Core::ParametrizedTerm
-
#adaptee MiniKraken::Core::SolverAdapter
-
#add_substitution_for MiniKraken::Core::Context
-
#add_vars MiniKraken::Core::Context
-
#all_variables MiniKraken::Core::SymbolTable
-
#arity MiniKraken::Core::Specification
-
#around_resume MiniKraken::Core::SolverAdapter
-
#associate MiniKraken::Core::Context
-
#associations_for MiniKraken::Core::Context
-
#associations_for MiniKraken::Core::Blackboard
-
#binary? MiniKraken::Core::Arity
-
#blackboard MiniKraken::Core::Context
-
#bookmarks MiniKraken::Core::Blackboard
-
build_goal MiniKraken::Rela::Fresh
-
#build_solution MiniKraken::Core::Context
-
#callable MiniKraken::Core::DuckFiber
-
#car MiniKraken::Composite::ConsCell
-
#cdr MiniKraken::Composite::ConsCell
-
#check_arity MiniKraken::Core::Specification
-
#children MiniKraken::Composite::ConsCell
-
#children MiniKraken::Composite::CompositeTerm
-
compose_goals MiniKraken::Rela::Fresh
-
#cond MiniKraken::Rela::Conde
-
#conde MiniKraken::Glue::DSL
-
#conj2 MiniKraken::Glue::DSL
-
#conjunction MiniKraken::Rela::Conj2
-
#cons MiniKraken::Glue::DSL
-
cons MiniKraken::Composite::List
-
#ctx MiniKraken::Glue::RunStarExpression
-
#current_scope MiniKraken::Core::SymbolTable
-
#cv2vars MiniKraken::Core::Context
-
#defns MiniKraken::Core::Scope
-
#defrel MiniKraken::Glue::DSL
-
#dependencies MiniKraken::Atomic::AtomicTerm
-
#dependencies MiniKraken::Core::Fusion
-
#dependencies MiniKraken::Composite::ConsCell
-
#dependencies MiniKraken::Core::Association
-
#dependencies MiniKraken::Core::AssociationCopy
-
#dependencies MiniKraken::Core::LogVarRef
-
df_visitor MiniKraken::Composite::ConsCellVisitor
-
#disj2 MiniKraken::Glue::DSL
-
#disjunction MiniKraken::Rela::Disj2
-
#dup_cond MiniKraken::Core::LogVarRef
-
#dup_cond MiniKraken::Atomic::AtomicTerm
-
#dup_cond MiniKraken::Composite::ConsCell
-
#dup_cond MiniKraken::Core::Term
-
#dup_cond MiniKraken::Core::ParametrizedTerm
-
#elements MiniKraken::Core::Fusion
-
#empty? MiniKraken::Core::Blackboard
-
#empty? MiniKraken::Core::SymbolTable
-
#enqueue_association MiniKraken::Core::Context
-
#enqueue_association MiniKraken::Core::Blackboard
-
#enqueue_fusion MiniKraken::Core::Blackboard
-
#enter_scope MiniKraken::Core::SymbolTable
-
#enter_scope MiniKraken::Core::Blackboard
-
#enter_scope MiniKraken::Core::Context
-
#eql? MiniKraken::Atomic::AtomicTerm
-
#eql? MiniKraken::Composite::ConsCell
-
#expand MiniKraken::Composite::ConsCell
-
#expand_value_of MiniKraken::Core::Context
-
#expression MiniKraken::Rela::DefRelation
-
#failed! MiniKraken::Core::Context
-
#failed! MiniKraken::Core::Blackboard
-
#failure? MiniKraken::Core::Context
-
#failure? MiniKraken::Core::Blackboard
-
#floating? MiniKraken::Core::AssociationCopy
-
#floating? MiniKraken::Core::Association
-
#floating? MiniKraken::Atomic::AtomicTerm
-
#floating? MiniKraken::Composite::ConsCell
-
#floating? MiniKraken::Core::LogVarRef
-
#formals MiniKraken::Rela::DefRelation
-
#fresh MiniKraken::Glue::DSL
-
#fuse MiniKraken::Core::Context
-
#fused? MiniKraken::Core::Blackboard
-
#goal MiniKraken::Glue::RunStarExpression
-
#handle_unbound_vars MiniKraken::Core::Context
-
#high MiniKraken::Core::Arity
-
#i_name MiniKraken::Core::Fusion
-
#i_name MiniKraken::Core::LogVarRef
-
#i_name MiniKraken::Core::Entry
-
#i_name MiniKraken::Core::AssociationCopy
-
#i_name MiniKraken::Core::Association
-
#i_name2moves MiniKraken::Core::Blackboard
-
#id2name MiniKraken::Atomic::KSymbol
-
#init_name MiniKraken::Core::Entry
-
#initialize MiniKraken::Core::SolverAdapter
-
#initialize MiniKraken::Composite::ConsCell
-
#initialize MiniKraken::Core::ParametrizedTerm
-
#initialize MiniKraken::Core::Bookmark
-
#initialize MiniKraken::Core::Succeed
-
#initialize MiniKraken::Core::LogVar
-
#initialize MiniKraken::Core::LogVarRef
-
#initialize MiniKraken::Atomic::KBoolean
-
#initialize MiniKraken::Glue::RunStarExpression
-
#initialize MiniKraken::Core::AnyValue
-
#initialize MiniKraken::Core::Blackboard
-
#initialize MiniKraken::Core::NullaryRelation
-
#initialize MiniKraken::Rela::DefRelation
-
#initialize MiniKraken::Core::AssociationCopy
-
#initialize MiniKraken::Atomic::AtomicTerm
-
#initialize MiniKraken::Core::Association
-
#initialize MiniKraken::Core::Context
-
#initialize MiniKraken::Core::Fusion
-
#initialize MiniKraken::Rela::BinaryRelation
-
#initialize MiniKraken::Rela::Disj2
-
#initialize MiniKraken::Rela::Fresh
-
#initialize MiniKraken::Rela::Unify
-
#initialize MiniKraken::Rela::Conde
-
#initialize MiniKraken::Core::Scope
-
#initialize MiniKraken::Rela::Conj2
-
#initialize MiniKraken::Core::SymbolTable
-
#initialize MiniKraken::Core::Fail
-
#initialize MiniKraken::Core::DuckFiber
-
#initialize MiniKraken::Core::Specification
-
#initialize_copy MiniKraken::Core::ParametrizedTerm
-
#insert MiniKraken::Core::Context
-
#insert MiniKraken::Core::Scope
-
#insert MiniKraken::Core::SymbolTable
-
#inspect MiniKraken::Core::Specification
-
#inspect MiniKraken::Core::Scope
-
#kind MiniKraken::Core::Bookmark
-
#last_move MiniKraken::Core::Blackboard
-
#leave_scope MiniKraken::Core::Context
-
#leave_scope MiniKraken::Core::SymbolTable
-
#leave_scope MiniKraken::Core::Blackboard
-
#list MiniKraken::Glue::DSL
-
#lookup MiniKraken::Core::SymbolTable
-
#lookup MiniKraken::Core::Context
-
#lookup_i_name MiniKraken::Core::SymbolTable
-
#low MiniKraken::Core::Arity
-
make_list MiniKraken::Composite::List
-
#match? MiniKraken::Core::Arity
-
#move_queue MiniKraken::Core::Blackboard
-
#name MiniKraken::Core::Specification
-
#name MiniKraken::Core::Entry
-
#name MiniKraken::Core::LogVarRef
-
#name2scopes MiniKraken::Core::SymbolTable
-
#next_alternative MiniKraken::Core::Context
-
#next_alternative MiniKraken::Core::Blackboard
-
#next_serial_num MiniKraken::Core::Blackboard
-
null MiniKraken::Composite::ConsCell
-
#null MiniKraken::Glue::DSL
-
#null? MiniKraken::Composite::ConsCell
-
#null_list MiniKraken::Glue::DSL
-
#nullary? MiniKraken::Core::Arity
-
#parent MiniKraken::Core::Scope
-
#pinned? MiniKraken::Core::AnyValue
-
#pinned? MiniKraken::Atomic::AtomicTerm
-
#pinned? MiniKraken::Composite::ConsCell
-
#pinned? MiniKraken::Core::LogVarRef
-
#pinned? MiniKraken::Core::Association
-
#pinned? MiniKraken::Core::AssociationCopy
-
#place_bt_point MiniKraken::Core::Context
-
#place_bt_point MiniKraken::Core::Blackboard
-
#polyadic? MiniKraken::Rela::Conde
-
#quote MiniKraken::Core::AnyValue
-
#quote MiniKraken::Composite::ConsCell
-
#quote MiniKraken::Atomic::AtomicTerm
-
#rank MiniKraken::Core::AnyValue
-
#ranking MiniKraken::Core::Context
-
#relevant_i_name MiniKraken::Core::Blackboard
-
#resultant MiniKraken::Core::Blackboard
-
#resume MiniKraken::Core::SolverAdapter
-
#resume MiniKraken::Core::DuckFiber
-
#retract_bt_point MiniKraken::Core::Context
-
#retract_bt_point MiniKraken::Core::Blackboard
-
#root MiniKraken::Core::SymbolTable
-
#run MiniKraken::Glue::RunStarExpression
-
#run_star MiniKraken::Glue::DSL
-
#ser_num MiniKraken::Core::Bookmark
-
#set! MiniKraken::Composite::ConsCell
-
#set_car! MiniKraken::Composite::ConsCell
-
#set_cdr! MiniKraken::Composite::ConsCell
-
#solver_for MiniKraken::Rela::DefRelation
-
#solver_for MiniKraken::Core::Relation
-
#solver_for MiniKraken::Core::Succeed
-
#solver_for MiniKraken::Rela::Unify
-
#solver_for MiniKraken::Rela::Fresh
-
#solver_for MiniKraken::Rela::Disj2
-
#solver_for MiniKraken::Rela::Conde
-
#solver_for MiniKraken::Rela::Conj2
-
#solver_for MiniKraken::Core::Fail
-
#source MiniKraken::Core::AssociationCopy
-
#specification MiniKraken::Core::ParametrizedTerm
-
#state MiniKraken::Core::DuckFiber
-
#succeed MiniKraken::Glue::DSL
-
#succeeded! MiniKraken::Core::Blackboard
-
#succeeded! MiniKraken::Core::Context
-
#success? MiniKraken::Core::Blackboard
-
#success? MiniKraken::Core::Context
-
#suffix MiniKraken::Core::Entry
-
#symbol_table MiniKraken::Core::Context
-
symmetric MiniKraken::Rela::BinaryRelation
-
#to_s MiniKraken::Atomic::AtomicTerm
-
#to_s MiniKraken::Core::LogVarRef
-
#to_s MiniKraken::Atomic::KString
-
#to_s MiniKraken::Atomic::KSymbol
-
#to_s MiniKraken::Core::AnyValue
-
#to_s MiniKraken::Composite::ConsCell
-
#unary? MiniKraken::Core::Arity
-
#unbound? MiniKraken::Atomic::AtomicTerm
-
#unbound? MiniKraken::Composite::ConsCell
-
#unbound? MiniKraken::Core::LogVarRef
-
#unification MiniKraken::Rela::Unify
-
#unify MiniKraken::Glue::DSL
-
#unique? MiniKraken::Core::Arity
-
#value MiniKraken::Atomic::AtomicTerm
-
#value MiniKraken::Core::Association
-
#value MiniKraken::Core::AssociationCopy
-
#variadic? MiniKraken::Core::Specification
-
#variadic? MiniKraken::Core::Arity
-
#vars2cv MiniKraken::Core::Blackboard