1 #ifndef ObjectModelParser_H
2 #define ObjectModelParser_H
12 Constraint * parseconstraint();
15 Elementexpr * checkdot(Elementexpr * incoming);
16 Constraint * parsequantifiers();
17 Quantifier * parsequantifier();
19 Setexpr * parsesetexpr();
20 Statement * parsestatement(bool);
21 Elementexpr * parseelementexpr();
22 Predicate * parsepredicate();