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 InstanceAssignment
RpclCondensedProbabilityDistributionParser. 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 InstanceAssignment
ReferenceWorld. get(java.lang.Object key)
InstanceAssignment
ReferenceWorld. put(Predicate key, InstanceAssignment value)
InstanceAssignment
ReferenceWorld. 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 InstanceAssignment
ReferenceWorld. put(Predicate key, InstanceAssignment value)
Method parameters in org.tweetyproject.logics.rpcl.semantics with type arguments of type InstanceAssignment Modifier and Type Method Description void
ReferenceWorld. putAll(java.util.Map<? extends Predicate,? extends InstanceAssignment> m)
-