private void topLevelCheck ( Term clause ) { TermWalker walk = TermWalkers . positionalWalker ( new TopLevelCheckVisitor ( interner , symbolTable , null ) ) ; walk . walk ( clause ) ; }
Finds and marks all functors within the clause that are considered to be top - level .