Uses of Class
org.tweetyproject.logics.rpcl.semantics.InstanceAssignment
-
Packages that use InstanceAssignment Package Description org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser org.tweetyproject.logics.rpcl.semantics -
-
Uses of InstanceAssignment in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
Methods in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser that return InstanceAssignment Modifier and Type Method Description static InstanceAssignmentRpclCondensedProbabilityDistributionParser. InstanceAssignment(FolSignature signature) -
Uses of InstanceAssignment in org.tweetyproject.logics.rpcl.semantics
Methods in org.tweetyproject.logics.rpcl.semantics that return InstanceAssignment Modifier and Type Method Description InstanceAssignmentReferenceWorld. get(java.lang.Object key)InstanceAssignmentReferenceWorld. put(Predicate key, InstanceAssignment value)InstanceAssignmentReferenceWorld. remove(java.lang.Object key)Methods in org.tweetyproject.logics.rpcl.semantics that return types with arguments of type InstanceAssignment Modifier and Type Method Description java.util.Set<java.util.Map.Entry<Predicate,InstanceAssignment>>ReferenceWorld. entrySet()static java.util.Set<InstanceAssignment>InstanceAssignment. enumerateInstanceAssignments(Predicate p, java.util.Set<java.util.Set<Constant>> constants)Determines the set of all instance assignments for the given predicate and equivalence classes.java.util.Collection<InstanceAssignment>ReferenceWorld. values()Methods in org.tweetyproject.logics.rpcl.semantics with parameters of type InstanceAssignment Modifier and Type Method Description InstanceAssignmentReferenceWorld. put(Predicate key, InstanceAssignment value)Method parameters in org.tweetyproject.logics.rpcl.semantics with type arguments of type InstanceAssignment Modifier and Type Method Description voidReferenceWorld. putAll(java.util.Map<? extends Predicate,? extends InstanceAssignment> m)
-