info.sswap.api.model
Interface ReasoningService

All Known Implementing Classes:

ReasoningServiceImpl

public interface ReasoningService

Interface to reasoning services about data types.

Author:

Blazej Bulka

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

addModel

void addModel(SSWAPModel model)

Adds another model (as a sub-model) whose contents are to be taken into account when reasoning.

Parameters:

model - dereferenced model

removeModel

void removeModel(SSWAPModel model)

Removes a previously added submodel (via addModel(Model)). The content of the removed model will no longer be taken into account when reasoning.

Parameters:

model - dereferenced model