|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ReasoningService
Interface to reasoning services about data types.
Method Summary | |
---|---|
void |
addModel(SSWAPModel model)
Adds another model (as a sub-model) whose contents are to be taken into account when reasoning. |
void |
removeModel(SSWAPModel model)
Removes a previously added submodel (via addModel(Model)). |
Method Detail |
---|
void addModel(SSWAPModel model)
model
- dereferenced modelvoid removeModel(SSWAPModel model)
model
- dereferenced model
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |