Uses of Class
org.tweetyproject.logics.rpcl.semantics.InstanceAssignment
Package
Description
-
Uses of InstanceAssignment in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
Modifier and TypeMethodDescriptionstatic 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)