Non-terminal symbol Implies

rule(s)occurrences

Defining rules for nonterminal symbol Implies:

Implies Atomic  IF  Formula 

Occurrences of symbol Implies in body of other rules:

Clause Implies 

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