This package contains the basic algorithms that are used during the search for an activated binding. Classes and interfaces remain very abstract here: We talk about things that may be searched and things that may be executed, but do not give any concrete examples.

The main class here is the Searcher, which coordinates various Binders and notifies a Finder once a suitable binding of a Searchable is found. Then Executables are built from the Occurrences that are involved in the binding.

All classes in this package are expected to be called within simulation threads.