de.hawhamburg.reachability.reasoner
Interfaces
ReasoningEngine
Classes
Reasoner
ReasonerAgent