Searched defs:visitedFlag (Results 1 – 2 of 2) sorted by relevance
| /dports/lang/maude/maude-2.7.1/src/FreeTheory/ | ||
| H A D | freeTerm.hh | 123 Bool visitedFlag; member in FreeTerm |
| /dports/lang/clips/clips_core_source_630/core/ | ||
| H A D | moduldef.h | 100 unsigned visitedFlag; member |