public class CReasoner
extends net.sf.tweety.commons.Reasoner
| Constructor and Description |
|---|
CReasoner(net.sf.tweety.commons.BeliefBase beliefBase)
Creates a new c-representation reasoner for the given knowledge base.
|
| Modifier and Type | Method and Description |
|---|---|
RankingFunction |
getCRepresentation()
Returns the c-representation this reasoner bases on.
|
net.sf.tweety.commons.Answer |
query(net.sf.tweety.commons.Formula query) |
public CReasoner(net.sf.tweety.commons.BeliefBase beliefBase)
beliefBase - a knowledge base.public net.sf.tweety.commons.Answer query(net.sf.tweety.commons.Formula query)
query in class net.sf.tweety.commons.Reasonerpublic RankingFunction getCRepresentation()
Copyright © 2018. All rights reserved.