Non-terminal symbol Implies

rule(s)occurrences

Defining rules for nonterminal symbol Implies:

Implies IriMeta_opt  Consequent  IF  Antecedent 

Occurrences of symbol Implies in body of other rules:

Clause Implies 

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