Package | Description |
---|---|
net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser | |
net.sf.tweety.logics.rpcl.semantics |
Modifier and Type | Method and Description |
---|---|
static InstanceAssignment |
RpclCondensedProbabilityDistributionParser.InstanceAssignment(FolSignature signature) |
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) |