Non-terminal symbol CONDIT

rule(s)occurrences

Description

This the root symbol of the core grammar dealing with only positive conditions. This is based on the revised version of Sept.10, 2006, by Harold Boley.

Defining rules for nonterminal symbol CONDIT:

CONDIT LITFORM 
QUANTIF 
CONJ 
DISJ 

Occurrences of symbol CONDIT in body of other rules:

BODY CONDIT 
QUANTIF 'Exists'  Var_plus  '('  CONDIT  ')' 
CONDIT_plus CONDIT 
CONDIT_plus CONDIT_plus  CONDIT 
QUANTIF 'Forall'  Var_plus  '('  CONDIT  ')' 

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