Lines Matching refs:certain
29 * other elements. It can be certain or preliminary. It also contains additional
38 private final boolean certain;
46 * Creates a new certain ShortestUsageMark.
51 this.certain = true;
58 * Creates a new certain ShortestUsageMark.
73 * Creates a new certain ShortestUsageMark.
86 this.certain = true;
97 * @param certain specifies whether this is a certain mark.
100 boolean certain)
102 this.certain = certain;
111 * Returns whether this is a certain mark.
115 return certain;
178 return "certain=" + certain + ", depth="+depth+": " +
