Package org.tweetyproject.logics.cl.reasoner

Interface Summary Interface Description RuleBasedCReasoner.Rule A rule that is applicable by theRuleBasedCReasoner
to reason a crepresentation given a conditional belief base. 
Class Summary Class Description AbstractConditionalLogicReasoner Abstract ancestor for all reasoner for conditional logic.CReasoner This class models a creasoner for conditional logic.RuleBasedCReasoner This is a reasoner using crepresentation and rules to solve these crepresentations.SimpleCReasoner This class models a brute force creasoner for conditional logic.ZReasoner This class models a zreasoner for conditional logic.