Module: Rubylog::DefaultContext

Extended by:

Context

Defined in:

lib/rubylog/default_context.rb,
lib/rubylog/builtins/assumption.rb,
lib/rubylog/builtins/file_system.rb

Instance Attribute Summary

Attributes included from ContextModules::Predicates

#default_subject

Method Summary

Methods included from Context

extended, included

Methods included from ContextModules::Thats

#thats, #thats_not

Methods included from ContextModules::Primitives

#primitives, #primitives_for, #primitives_for_context

Methods included from ContextModules::Predicates

#predicate, #predicate_for, #predicate_for_context

Methods included from ContextModules::Demonstration

#solve, #true?

Methods included from ContextModules::Checks

#check, #check_failed, #check_passed, #check_raised_exception