Searched refs:countInvariant (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/usr/eclipseclp/CPViz/viz/src/ie/ucc/cccc/viz/
H A DViz.java43 static private int countInvariant; field in class:Viz
76 countInvariant = 0;
125 if (countInvariant > 0) {
126 System.out.println("There were "+countInvariant+" Invariant violations.");
158 countInvariant++;

Completed in 90 milliseconds