A B C D E F G H I K L M N O P R S T U V X

H

HashAssignment - Class in de.upb.swt.mcie.robdds
This class implements an Assignment.
HashAssignment(Context) - Constructor for class de.upb.swt.mcie.robdds.HashAssignment
Constructs an empty assignment, i.e. a mapping that assigns don't care values (null) to each variable.
hashCode() - Method in class de.upb.swt.mcie.robdds.InnerNode
Returns the hash code of this inner node.
hashCode() - Method in class de.upb.swt.mcie.robdds.NodePair
Returns the hash code of this pair.
high - Variable in class de.upb.swt.mcie.robdds.Context
The (in this context) unique terminal node representing true (1).
high - Variable in class de.upb.swt.mcie.robdds.InnerNode
Outgoing arc for value 1.

A B C D E F G H I K L M N O P R S T U V X