Class TraceConstraint

java.lang.Object
All Implemented Interfaces:
java.lang.Iterable<ConstraintVariable>

public class TraceConstraint
extends ConstraintTree
TraceConstraint objects ensure that the attribute being traced will be treated as a parameter and not a member variable