@c "spec/order.texi"
@c extracted from "../../src/Object/lang/SPEC_registry.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@deffn Directive order nodes...
For @command{cflat lvs}, specify the node checking order for BDD algorithms.  
@end deffn

