|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use StatementCtx | |
---|---|
gov.nasa.arc.brahms.common.rt | |
gov.nasa.arc.brahms.vm.rt |
Uses of StatementCtx in gov.nasa.arc.brahms.common.rt |
---|
Subclasses of StatementCtx in gov.nasa.arc.brahms.common.rt | |
---|---|
class |
BeliefCtx
The BeliefCtx maintains information about a belief created for an active instance. |
class |
FactCtx
The FactCtx maintains information about a fact created in the world. |
Methods in gov.nasa.arc.brahms.common.rt with parameters of type StatementCtx | |
---|---|
void |
UnavailableCtx.addCausingStatement(StatementCtx statement)
Adds the specified statement (belief or fact) as a statement causing a precondition to evaluate to false. |
void |
UnavailableCtx.removeCausingStatement(StatementCtx statement)
Removes the specified statement (belief or fact) as a statement causing a precondition to evaluate to false. |
Uses of StatementCtx in gov.nasa.arc.brahms.vm.rt |
---|
Subclasses of StatementCtx in gov.nasa.arc.brahms.vm.rt | |
---|---|
class |
VMBeliefCtx
The VMBeliefCtx is a BeliefCtx with extensions for use in the virtual machine. |
class |
VMFactCtx
The VMFactCtx is a FactCtx with extensions for use in the virtual machine. |
class |
VMStatementCtx
The VMStatementCtx is a StatementCTx with extension for use in the Brahms virtual machine. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |