public class ReferenceWorld extends net.sf.tweety.commons.AbstractInterpretation implements Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>
| Constructor and Description |
|---|
ReferenceWorld(Collection<? extends Collection<? extends net.sf.tweety.logics.commons.syntax.Constant>> equivalenceClasses,
Collection<net.sf.tweety.logics.commons.syntax.Predicate> predicates)
Creates a new reference world for the given equivalence classes.
|
| Modifier and Type | Method and Description |
|---|---|
void |
clear() |
boolean |
containsKey(Object key) |
boolean |
containsValue(Object value) |
Set<Map.Entry<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>> |
entrySet() |
static Set<ReferenceWorld> |
enumerateReferenceWorlds(Set<net.sf.tweety.logics.commons.syntax.Predicate> predicates,
Set<Set<net.sf.tweety.logics.commons.syntax.Constant>> constants)
Determines the set of all reference worlds wrt.
|
boolean |
equals(Object obj) |
InstanceAssignment |
get(Object key) |
Integer |
get(net.sf.tweety.logics.commons.syntax.Predicate predicate,
Collection<? extends net.sf.tweety.logics.commons.syntax.Constant> constants)
Retrieves the number of true instances assigned for the
given predicate and the given equivalence class of constants.
|
static ReferenceWorld |
getMapping(net.sf.tweety.logics.fol.semantics.HerbrandInterpretation i,
Set<net.sf.tweety.logics.commons.syntax.Predicate> predicates,
Set<Set<net.sf.tweety.logics.commons.syntax.Constant>> constants)
Determines the reference world of the given interpretation wrt.
|
Integer |
getMultiplicator(net.sf.tweety.logics.fol.syntax.FolFormula f)
Returns the multiplicator of this reference world for the given formula,
i.e.
|
int |
hashCode() |
boolean |
isEmpty() |
Set<net.sf.tweety.logics.commons.syntax.Predicate> |
keySet() |
InstanceAssignment |
put(net.sf.tweety.logics.commons.syntax.Predicate key,
InstanceAssignment value) |
void |
putAll(Map<? extends net.sf.tweety.logics.commons.syntax.Predicate,? extends InstanceAssignment> m) |
InstanceAssignment |
remove(Object key) |
boolean |
satisfies(net.sf.tweety.commons.BeliefBase beliefBase) |
boolean |
satisfies(net.sf.tweety.commons.Formula formula) |
int |
size() |
Integer |
spanNumber()
Returns the span number of this reference world, i.e.
|
String |
toString() |
Collection<InstanceAssignment> |
values() |
clone, finalize, getClass, notify, notifyAll, wait, wait, waitcompute, computeIfAbsent, computeIfPresent, forEach, getOrDefault, merge, putIfAbsent, remove, replace, replace, replaceAllpublic ReferenceWorld(Collection<? extends Collection<? extends net.sf.tweety.logics.commons.syntax.Constant>> equivalenceClasses, Collection<net.sf.tweety.logics.commons.syntax.Predicate> predicates)
equivalenceClasses - a set of set of constants.predicates - a set of predicatespublic Integer get(net.sf.tweety.logics.commons.syntax.Predicate predicate, Collection<? extends net.sf.tweety.logics.commons.syntax.Constant> constants)
predicate - a predicate.constants - a set of constants.public Integer spanNumber()
public Integer getMultiplicator(net.sf.tweety.logics.fol.syntax.FolFormula f)
f - a fol formula.public static ReferenceWorld getMapping(net.sf.tweety.logics.fol.semantics.HerbrandInterpretation i, Set<net.sf.tweety.logics.commons.syntax.Predicate> predicates, Set<Set<net.sf.tweety.logics.commons.syntax.Constant>> constants)
i - a Herbrand interpretation.constants - the set of equivalence classes.predicates - a set of predicates.public static Set<ReferenceWorld> enumerateReferenceWorlds(Set<net.sf.tweety.logics.commons.syntax.Predicate> predicates, Set<Set<net.sf.tweety.logics.commons.syntax.Constant>> constants)
predicates - a set of predicates.constants - a set of set of constants.public boolean satisfies(net.sf.tweety.commons.Formula formula)
throws IllegalArgumentException
satisfies in interface net.sf.tweety.commons.InterpretationIllegalArgumentExceptionpublic boolean satisfies(net.sf.tweety.commons.BeliefBase beliefBase)
throws IllegalArgumentException
satisfies in interface net.sf.tweety.commons.InterpretationIllegalArgumentExceptionpublic void clear()
clear in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>public boolean containsKey(Object key)
containsKey in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>public boolean containsValue(Object value)
containsValue in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>public Set<Map.Entry<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>> entrySet()
entrySet in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>public InstanceAssignment get(Object key)
get in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>public boolean isEmpty()
isEmpty in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>public Set<net.sf.tweety.logics.commons.syntax.Predicate> keySet()
keySet in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>public InstanceAssignment put(net.sf.tweety.logics.commons.syntax.Predicate key, InstanceAssignment value)
put in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>public void putAll(Map<? extends net.sf.tweety.logics.commons.syntax.Predicate,? extends InstanceAssignment> m)
putAll in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>public InstanceAssignment remove(Object key)
remove in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>public int size()
size in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>public Collection<InstanceAssignment> values()
values in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>public int hashCode()
hashCode in interface Map<net.sf.tweety.logics.commons.syntax.Predicate,InstanceAssignment>hashCode in class ObjectCopyright © 2018. All rights reserved.