Constraint function ( int arg0 , int arg1 ) { return new Constraint ( arg0 , 0 , DB . createLt ( arg1 ) ) ; }
build constraint x < v. concode_field_sep int x concode_elem_sep int y concode_elem_sep int db concode_field_sep Constraint renameClocks concode_elem_sep Constraint buildXYGeq concode_elem_sep Constraint buildXLtY concode_elem_sep Constraint buildXLeqY concode_elem_sep Constraint buildXGeqY concode_elem_sep Constraint deepCopy concode_elem_sep Constraint buildXYLeq concode_elem_sep Constraint buildLeq concode_elem_sep int hashCode concode_elem_sep boolean equals concode_elem_sep Constraint buildXYLt concode_elem_sep Constraint buildGt concode_elem_sep String toStringList concode_elem_sep String toString concode_elem_sep Constraint buildGeq concode_elem_sep Constraint buildXYGt concode_elem_sep Constraint buildXGtY