Uses of Class
net.sf.tweety.logics.rpcl.semantics.InstanceAssignment
-
Packages that use InstanceAssignment Package Description net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser net.sf.tweety.logics.rpcl.semantics -
-
Uses of InstanceAssignment in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
Methods in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser that return InstanceAssignment Modifier and Type Method Description static InstanceAssignmentRpclCondensedProbabilityDistributionParser. InstanceAssignment(FolSignature signature) -
Uses of InstanceAssignment in net.sf.tweety.logics.rpcl.semantics
Fields in net.sf.tweety.logics.rpcl.semantics with type parameters of type InstanceAssignment Modifier and Type Field Description private java.util.Map<Predicate,InstanceAssignment>ReferenceWorld. assignmentsThe instance assignments of this reference worldsMethods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.rpcl.semantics with parameters of type InstanceAssignment Modifier and Type Method Description InstanceAssignmentReferenceWorld. put(Predicate key, InstanceAssignment value)Method parameters in net.sf.tweety.logics.rpcl.semantics with type arguments of type InstanceAssignment Modifier and Type Method Description voidReferenceWorld. putAll(java.util.Map<? extends Predicate,? extends InstanceAssignment> m)
-