public class MustEquals
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static boolean |
ALIAS_TRACKING |
Constructor and Description |
---|
MustEquals()
Constructs a new empty MustEquals.
|
MustEquals(MustEquals old)
Constructs a new MustEquals as a copy of the given one.
|
Modifier and Type | Method and Description |
---|---|
void |
addMustEquals(int reg,
ObjectLabel objlabel,
PKey pkey)
Adds a must-equals fact.
|
java.util.Set<ObjectProperty> |
getMustEquals(int ref)
Returns the must-equal facts for the given register.
|
java.util.Set<java.lang.Integer> |
getMustEquals(ObjectLabel objlabel,
PKey pkey)
Returns the must-equals facts for the given object label and property key.
|
static ObjectLabel |
getSingleton(java.util.Set<ObjectLabel> objs)
If this is a singleton set containing a singleton object label, return that object label, otherwise null.
|
static PKey |
getSingleton(Value propertystr)
If this is a singleton string or a symbol, then return the corresponding PKey, otherwise null.
|
boolean |
propagate(MustEquals other)
Propagates the given MustEquals into this one.
|
void |
setToBottom()
Empties this MustEquals.
|
void |
setToBottom(int reg)
Removes the given register from all must-equal sets.
|
void |
setToBottom(ObjectLabel objlabel)
Empties this MustEquals for the given object label.
|
void |
setToBottom(ObjectLabel objlabel,
PKey pkey)
Empties this MustEquals for the given object label and property key.
|
void |
setToBottom(ObjectProperty objprop)
Empties this MustEquals for the given object label and property key.
|
java.lang.String |
toString() |
public MustEquals()
public MustEquals(MustEquals old)
public void addMustEquals(int reg, ObjectLabel objlabel, PKey pkey)
public java.util.Set<ObjectProperty> getMustEquals(int ref)
public java.util.Set<java.lang.Integer> getMustEquals(ObjectLabel objlabel, PKey pkey)
public static ObjectLabel getSingleton(java.util.Set<ObjectLabel> objs)
public static PKey getSingleton(Value propertystr)
public boolean propagate(MustEquals other)
public void setToBottom()
public void setToBottom(int reg)
public void setToBottom(ObjectLabel objlabel)
public void setToBottom(ObjectLabel objlabel, PKey pkey)
public void setToBottom(ObjectProperty objprop)
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2009-2019 Aarhus University