| Package | Description |
|---|---|
| net.sf.tweety.logics.rpcl | |
| net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser |
| Modifier and Type | Field and Description |
|---|---|
private java.util.Map<Predicate,InstanceAssignment> |
ReferenceWorld.assignments
The instance assignments of this reference worlds
|
| Modifier and Type | Method and Description |
|---|---|
InstanceAssignment |
ReferenceWorld.get(java.lang.Object key) |
InstanceAssignment |
ReferenceWorld.put(Predicate key,
InstanceAssignment value) |
InstanceAssignment |
ReferenceWorld.remove(java.lang.Object key) |
| Modifier and Type | Method and 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() |
| Modifier and Type | Method and Description |
|---|---|
InstanceAssignment |
ReferenceWorld.put(Predicate key,
InstanceAssignment value) |
| Modifier and Type | Method and Description |
|---|---|
void |
ReferenceWorld.putAll(java.util.Map<? extends Predicate,? extends InstanceAssignment> m) |
| Modifier and Type | Method and Description |
|---|---|
static InstanceAssignment |
RpclCondensedProbabilityDistributionParser.InstanceAssignment(FolSignature signature) |