[−][src]Module phreak_engine::jointest
The jointest module contains the logic for performing test evaluation. Whenever two facts need to be compared, we say that they are joined if the tests for this combination of facts succeeds.
Structs
JoinNodeTest | A test compares a field in the current WME against a field from a WME that is x steps back. |
Enums
JoinTestField | A JoinTestField defines which field of a WME should be matched in a jointest. |
Functions
get_join_tests_from_condition | Compare the current condition against the earlier conditions and find variable fields to match. |