| Package | Description |
|---|---|
| net.sf.tweety.logics.cl.reasoner |
| Modifier and Type | Method and Description |
|---|---|
RankingFunction |
RuleBasedCReasoner.getModel(ClBeliefSet beliefset) |
RankingFunction |
CReasoner.getModel(ClBeliefSet kb) |
RankingFunction |
SimpleCReasoner.getModel(ClBeliefSet beliefset) |
abstract RankingFunction |
AbstractConditionalLogicReasoner.getModel(ClBeliefSet bbase) |
RankingFunction |
ZReasoner.getModel(ClBeliefSet beliefset) |
| Modifier and Type | Method and Description |
|---|---|
Collection<RankingFunction> |
AbstractConditionalLogicReasoner.getModels(ClBeliefSet bbase) |
Copyright © 2019. All rights reserved.