Non-terminal symbol Clause

Defining rules for nonterminal symbol Clause:

Clause Atomic  Implies

Occurrences of symbol Clause in body of other rules:

Rule Clause  Rule FORALL  Vars_opt  OPENPAR  Clause  CLOSEPAR

Copyright © 2011 ILOG, Inc.; All Rights Reserved.