Package org.tweetyproject.logics.rpcl.semantics

Class InstanceAssignment

java.lang.Object

java.util.AbstractMap<Collection<? extends Constant>,Integer>

java.util.HashMap<Collection<? extends Constant>,Integer>

org.tweetyproject.logics.rpcl.semantics.InstanceAssignment

All Implemented Interfaces:

Serializable, Cloneable, Map<Collection<? extends Constant>,Integer>

public class InstanceAssignment
extends HashMap<Collection<? extends Constant>,Integer>

Instances of this class represent assignenment of true instances for a given predicate wrt. to a set of constants.

Author:

Matthias Thimm

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.util.AbstractMap

AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K,V>

Nested classes/interfaces inherited from interface java.util.Map

Map.Entry<K,V>

Constructor Summary

Constructors

Constructor	Description
InstanceAssignment(Predicate predicate)	Creates a new instance assignment for the given predicate with no assignments.
InstanceAssignment(Predicate predicate, Map<? extends Collection<? extends Constant>,Integer> map)	Creates a new instance assignment for the given predicate with the given map.

Method Summary

Modifier and Type	Method	Description
static Set<InstanceAssignment>	enumerateInstanceAssignments(Predicate p, Set<Set<Constant>> constants)	Determines the set of all instance assignments for the given predicate and equivalence classes.
boolean	equals(Object obj)
Predicate	getPredicate()	Returns the predicate of this assignment.
int	hashCode()
int	numberOfConstants()	Returns the number of constants assigned by this assignment, i.e.
Integer	put(Collection<? extends Constant> key, Integer value)
String	toString()

Methods inherited from class java.util.HashMap

clear, clone, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, forEach, get, getOrDefault, isEmpty, keySet, merge, newHashMap, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

InstanceAssignment

public InstanceAssignment(Predicate predicate)

Creates a new instance assignment for the given predicate with no assignments.

Parameters:

predicate - a predicate.

InstanceAssignment

public InstanceAssignment(Predicate predicate,
 Map<? extends Collection<? extends Constant>,Integer> map)

Creates a new instance assignment for the given predicate with the given map.

Parameters:

predicate - a predicate.

map - a map mapping sets of constants to integers.

Method Details

getPredicate

public Predicate getPredicate()

Returns the predicate of this assignment.

Returns:

the predicate of this assignment.

put

public Integer put(Collection<? extends Constant> key,
 Integer value)

Specified by:

put in interface Map<Collection<? extends Constant>,Integer>

Overrides:

put in class HashMap<Collection<? extends Constant>,Integer>

numberOfConstants

public int numberOfConstants()

Returns the number of constants assigned by this assignment, i.e. the sum of the values in this map.

Returns:

the number of constants assigned by this assignment.

toString

public String toString()

Overrides:

toString in class AbstractMap<Collection<? extends Constant>,Integer>

hashCode

public int hashCode()

Specified by:

hashCode in interface Map<Collection<? extends Constant>,Integer>

Overrides:

hashCode in class AbstractMap<Collection<? extends Constant>,Integer>

equals

public boolean equals(Object obj)

Specified by:

equals in interface Map<Collection<? extends Constant>,Integer>

Overrides:

equals in class AbstractMap<Collection<? extends Constant>,Integer>

enumerateInstanceAssignments

public static Set<InstanceAssignment> enumerateInstanceAssignments(Predicate p,
 Set<Set<Constant>> constants)

Determines the set of all instance assignments for the given predicate and equivalence classes.

Parameters:

p - a predicate.

constants - a set of constants.

Returns:

a set of instance assignments.