adds ginv to the list of invariants incident to this event concode_field_sep NCPartition NCPartition concode_elem_sep long serialVersionUID concode_elem_sep Label label concode_elem_sep ACPartition ACpartition concode_elem_sep String event concode_elem_sep List<Invariant> invariants concode_field_sep String getEvent concode_elem_sep void setACPartition concode_elem_sep int getFontSize concode_elem_sep void mouseover concode_elem_sep void highlightOrdered concode_elem_sep void show concode_elem_sep void highlightDefault concode_elem_sep void scale concode_elem_sep double getWidth concode_elem_sep void highlightConcurrent concode_elem_sep void translate concode_elem_sep void setFill concode_elem_sep double getHeight concode_elem_sep int hashCode concode_elem_sep void mouseout concode_elem_sep void setFont concode_elem_sep double getCenterY concode_elem_sep double getCenterX concode_elem_sep void translateTo concode_elem_sep void highlightNeverConcurrent concode_elem_sep double getX concode_elem_sep void hide concode_elem_sep double getY concode_elem_sep void setNCPartition concode_elem_sep boolean equals
void function ( TOInvariant arg0 ) { if ( invariants . size ( ) == 0 ) { show ( ) ; } invariants . add ( arg0 ) ; }