Uses of Class
net.sf.tweety.math.term.IntegerVariable

Packages that use IntegerVariable

Package	Description
net.sf.tweety.logics.cl.reasoner

Uses of IntegerVariable in net.sf.tweety.logics.cl.reasoner

Methods in net.sf.tweety.logics.cl.reasoner with parameters of type IntegerVariable

Modifier and Type	Method	Description
private Statement	CReasoner.getRankConstraint(PossibleWorld w, IntegerVariable ranki, java.util.Map<Conditional,IntegerVariable> kappa_pos, java.util.Map<Conditional,IntegerVariable> kappa_neg)	For the given interpretation "i" and the given kappas, this method computes the constraint k("i")=\sum_{"i" verifies ri} ki+ + \sum_{"i" falsifies ri} kj-

Method parameters in net.sf.tweety.logics.cl.reasoner with type arguments of type IntegerVariable

Modifier and Type	Method	Description
private Statement	CReasoner.getAcceptanceConstraint(Conditional cond, java.util.Map<PossibleWorld,IntegerVariable> ranks)	For the given conditional (B|A) and the given ranks of possible worlds, this method constructs the inequation k(AB) < k(A-B) where k(AB) is the minimum of the ranks of the interpretations that satisfy AB.
private Statement	CReasoner.getRankConstraint(PossibleWorld w, IntegerVariable ranki, java.util.Map<Conditional,IntegerVariable> kappa_pos, java.util.Map<Conditional,IntegerVariable> kappa_neg)	For the given interpretation "i" and the given kappas, this method computes the constraint k("i")=\sum_{"i" verifies ri} ki+ + \sum_{"i" falsifies ri} kj-