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-
-