Uses of Class
org.tweetyproject.logics.rpcl.semantics.InstanceAssignment
Package
Description
-
Uses of InstanceAssignment in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
Modifier and TypeMethodDescriptionstatic final InstanceAssignment
RpclCondensedProbabilityDistributionParser.InstanceAssignment
(FolSignature signature) -
Uses of InstanceAssignment in org.tweetyproject.logics.rpcl.semantics
Modifier 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()
Modifier and TypeMethodDescriptionvoid
ReferenceWorld.putAll
(Map<? extends Predicate, ? extends InstanceAssignment> m)