Searched refs:seekSupport (Results 1 – 1 of 1) sorted by relevance
148 seekSupport(0, 0); in consistency()164 public boolean seekSupport(int nodeId, int level) { in seekSupport() method in ExtensionalSupportMDD181 … if (mdd.diagram[shift] == MDD.TERMINAL || seekSupport(mdd.diagram[shift], level + 1)) { in seekSupport()