Uses of Class
org.tweetyproject.logics.pl.syntax.CardinalityConstraint
-
Packages that use CardinalityConstraint Package Description org.tweetyproject.logics.pl.syntax -
-
Uses of CardinalityConstraint in org.tweetyproject.logics.pl.syntax
Methods in org.tweetyproject.logics.pl.syntax that return CardinalityConstraint Modifier and Type Method Description CardinalityConstraint
CardinalityConstraint. replace(Proposition p, PlFormula f, int i)
-