Class Hierarchy
- java.lang.Object
- astra.reasoner.BeliefIterator (implements java.util.Iterator<E>)
- astra.reasoner.NewReasoner (implements astra.reasoner.Reasoner)
- astra.reasoner.Unifier
Interface Hierarchy
- astra.reasoner.EventUnifier<T>
- astra.reasoner.FormulaUnifier
- astra.reasoner.Queryable
- astra.reasoner.Reasoner