nl: check invariants . check if all colored systems are determined and all invariants are met . concode_field_sep Logger logger concode_elem_sep boolean debug concode_elem_sep List<Condition<C>> conds concode_elem_sep List<ColoredSystem<C>> list concode_elem_sep PolynomialList<GenPolynomial<C>> cgb concode_field_sep List<GenPolynomial<GenPolynomial<C>>> getCGB concode_elem_sep int hashCode concode_elem_sep boolean equals concode_elem_sep boolean isDetermined concode_elem_sep String toString concode_elem_sep List<Condition<C>> getConditions
code: boolean function ( ) { for ( ColoredSystem < C > loc0 : list ) { if ( ! loc0 . checkInvariant ( ) ) { return false ; } } return true ; }