Definition of parser ConstraintParser, which is a subclass of LLkParser.


expr
	:	andexpr ( OR andexpr )* 
	;


andexpr
	:	boolexpr ( AND boolexpr )* 
	;


boolexpr
	:	compexpr 
	|	LPAREN expr RPAREN 
	;


compexpr
	:	genexpr LT genexpr 
	|	genexpr LE genexpr 
	|	genexpr GT genexpr 
	|	genexpr GE genexpr 
	|	genexpr EQ genexpr 
	|	genexpr NE genexpr 
	|	BOOL_PROPERTY 
	;


genexpr
	:	PROPERTY 
	|	NUM_LITERAL 
	|	STR_LITERAL 
	;