| Package | Description |
|---|---|
| net.sf.tweety.logics.rpcl | |
| net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser |
| Modifier and Type | Method and Description |
|---|---|
InstanceAssignment |
ReferenceWorld.get(Object key) |
InstanceAssignment |
ReferenceWorld.put(net.sf.tweety.logics.commons.syntax.Predicate key,
InstanceAssignment value) |
InstanceAssignment |
ReferenceWorld.remove(Object key) |
| Modifier and Type | Method and Description |
|---|---|
Set<Map.Entry<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>> |
ReferenceWorld.entrySet() |
static Set<InstanceAssignment> |
InstanceAssignment.enumerateInstanceAssignments(net.sf.tweety.logics.commons.syntax.Predicate p,
Set<Set<net.sf.tweety.logics.commons.syntax.Constant>> constants)
Determines the set of all instance assignments for the given predicate and
equivalence classes.
|
Collection<InstanceAssignment> |
ReferenceWorld.values() |
| Modifier and Type | Method and Description |
|---|---|
InstanceAssignment |
ReferenceWorld.put(net.sf.tweety.logics.commons.syntax.Predicate key,
InstanceAssignment value) |
| Modifier and Type | Method and Description |
|---|---|
void |
ReferenceWorld.putAll(Map<? extends net.sf.tweety.logics.commons.syntax.Predicate,? extends InstanceAssignment> m) |
| Modifier and Type | Method and Description |
|---|---|
static InstanceAssignment |
RpclCondensedProbabilityDistributionParser.InstanceAssignment(net.sf.tweety.logics.fol.syntax.FolSignature signature) |
Copyright © 2018. All rights reserved.