- All Implemented Interfaces:
public class RuleBasedCReasoner extends AbstractConditionalLogicReasoner
This is a reasoner using c-representation and rules to solve these c-representations. It contains a list of rules whereby the first rule is the rule with the highest priorization, that means it is applied first.
- Tim Janus, Matthias Thimm
getModelDescription copied from interface:
ModelProviderReturns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.
isInstalledpublic boolean isInstalled()the solver is natively installed and is therefore always installed
- if the solver is installed