Uses of Package
astra.term
| Package | Description |
|---|---|
| astra.core | |
| astra.debugger | |
| astra.formula | |
| astra.messaging | |
| astra.reasoner | |
| astra.reasoner.node | |
| astra.reasoner.unifier | |
| astra.reasoner.util | |
| astra.statement | |
| astra.term | |
| astra.tr | |
| astra.type |
-
Classes in astra.term used by astra.core Class Description Term Variable -
Classes in astra.term used by astra.debugger Class Description Term -
Classes in astra.term used by astra.formula Class Description Term Variable -
Classes in astra.term used by astra.messaging Class Description Term -
Classes in astra.term used by astra.reasoner Class Description Term -
Classes in astra.term used by astra.reasoner.node Class Description Term -
Classes in astra.term used by astra.reasoner.unifier Class Description Term -
Classes in astra.term used by astra.reasoner.util Class Description Term Variable -
Classes in astra.term used by astra.statement Class Description Term Variable -
Classes in astra.term used by astra.term Class Description AtIndex Brackets Count FormulaTerm FromJson Funct Head ListSplitter ListTerm ModuleTerm ModuleTermAdaptor NullTerm Operator Performative Primitive QueryTerm Tail Term ToJson Variable -
Classes in astra.term used by astra.tr Class Description Term -
Classes in astra.term used by astra.type Class Description Term