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) Parses anInstanceAssignment
from the input stream. -
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)