public class InstanceAssignment extends java.util.HashMap<java.util.Collection<? extends Constant>,java.lang.Integer>
Modifier and Type | Field and Description |
---|---|
private Predicate |
predicate
The predicate of this instance assignment.
|
private static long |
serialVersionUID
For serialization.
|
Constructor and Description |
---|
InstanceAssignment(Predicate predicate)
Creates a new instance assignment for the given predicate with
no assignments.
|
InstanceAssignment(Predicate predicate,
java.util.Map<? extends java.util.Collection<? extends Constant>,java.lang.Integer> map)
Creates a new instance assignment for the given predicate
with the given map.
|
Modifier and Type | Method and Description |
---|---|
static java.util.Set<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.
|
boolean |
equals(java.lang.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.
|
java.lang.Integer |
put(java.util.Collection<? extends Constant> key,
java.lang.Integer value) |
java.lang.String |
toString() |
private static final long serialVersionUID
private Predicate predicate
public InstanceAssignment(Predicate predicate)
predicate
- a predicate.public InstanceAssignment(Predicate predicate, java.util.Map<? extends java.util.Collection<? extends Constant>,java.lang.Integer> map)
predicate
- a predicate.map
- a map mapping sets of constants to integers.public Predicate getPredicate()
public java.lang.Integer put(java.util.Collection<? extends Constant> key, java.lang.Integer value)
public int numberOfConstants()
public java.lang.String toString()
toString
in class java.util.AbstractMap<java.util.Collection<? extends Constant>,java.lang.Integer>
public int hashCode()
public boolean equals(java.lang.Object obj)
public static java.util.Set<InstanceAssignment> enumerateInstanceAssignments(Predicate p, java.util.Set<java.util.Set<Constant>> constants)
p
- a predicate.constants
- a set of constants.