@ Override public boolean satisfies ( Match match , int ... ind ) { int x = - 1 ; for ( MappedConst mc : con ) { if ( mc . satisfies ( match , ind ) ) x *= - 1 ; } return x == 1 ; }
Checks if constraints satisfy in xor pattern .