Uses of Class
org.tweetyproject.logics.rpcl.semantics.InstanceAssignment
Packages that use InstanceAssignment
Package
Description
-
Uses of InstanceAssignment in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
Methods in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser that return InstanceAssignmentModifier and TypeMethodDescriptionstatic final InstanceAssignment
RpclCondensedProbabilityDistributionParser.InstanceAssignment
(FolSignature signature) -
Uses of InstanceAssignment in org.tweetyproject.logics.rpcl.semantics
Methods in org.tweetyproject.logics.rpcl.semantics that return InstanceAssignmentMethods in org.tweetyproject.logics.rpcl.semantics that return types with arguments of type InstanceAssignmentModifier and TypeMethodDescriptionReferenceWorld.entrySet()
static Set<InstanceAssignment>
InstanceAssignment.enumerateInstanceAssignments
(Predicate p, Set<Set<Constant>> constants) Determines the set of all instance assignments for the given predicate and equivalence classes.ReferenceWorld.values()
Methods in org.tweetyproject.logics.rpcl.semantics with parameters of type InstanceAssignmentMethod parameters in org.tweetyproject.logics.rpcl.semantics with type arguments of type InstanceAssignmentModifier and TypeMethodDescriptionvoid
ReferenceWorld.putAll
(Map<? extends Predicate, ? extends InstanceAssignment> m)