Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 8.41 KB
<?xml version="1.0" encoding="UTF-8"?>
<bgf:grammar xmlns:bgf="http://planet-sl.org/bgf" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"><bgf:production><nonterminal>LocatedElement</nonterminal><bgf:expression><nonterminal>Package</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>LocatedElement</nonterminal><bgf:expression><nonterminal>Import</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>LocatedElement</nonterminal><bgf:expression><nonterminal>ChocoProblem</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>LocatedElement</nonterminal><bgf:expression><nonterminal>Element</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>LocatedElement</nonterminal><bgf:expression><nonterminal>Domain</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>OpConstraint</nonterminal><bgf:expression><choice><bgf:expression><selectable><selector>eq</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>and2</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>or2</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>gt</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>ge</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>lt</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>le</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>plus</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Package</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>name</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>import</selector><bgf:expression><nonterminal>Import</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>problem</selector><bgf:expression><nonterminal>ChocoProblem</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Import</nonterminal><bgf:expression><selectable><selector>fqn</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>ChocoProblem</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>name</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>elements</selector><bgf:expression><nonterminal>Element</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Element</nonterminal><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Element</nonterminal><bgf:expression><nonterminal>PostConstraint</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Expression</nonterminal><bgf:expression><nonterminal>ConstraintDef</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Expression</nonterminal><bgf:expression><nonterminal>IntVar</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Expression</nonterminal><bgf:expression><nonterminal>IntConstant</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Expression</nonterminal><bgf:expression><nonterminal>SymbolicTerm</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Expression</nonterminal><bgf:expression><nonterminal>IntValue</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Expression</nonterminal><bgf:expression><nonterminal>IntExp</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Expression</nonterminal><bgf:expression><nonterminal>Constraint</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>ConstraintDef</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>op</selector><bgf:expression><nonterminal>OpConstraint</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>left</selector><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>right</selector><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>IntVar</nonterminal><bgf:expression><selectable><selector>domain</selector><bgf:expression><nonterminal>Domain</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Domain</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>lower</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>upper</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>IntConstant</nonterminal><bgf:expression><selectable><selector>val</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>SymbolicTerm</nonterminal><bgf:expression><selectable><selector>term</selector><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>IntValue</nonterminal><bgf:expression><selectable><selector>val</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>IntExp</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>op</selector><bgf:expression><nonterminal>OpConstraint</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>left</selector><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>right</selector><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Constraint</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>op</selector><bgf:expression><nonterminal>OpConstraint</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>left</selector><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>right</selector><bgf:expression><nonterminal>Expression</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>PostConstraint</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>op</selector><bgf:expression><nonterminal>OpConstraint</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>constraint</selector><bgf:expression><nonterminal>ConstraintDef</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Boolean</nonterminal><bgf:expression><choice><bgf:expression><terminal>true</terminal></bgf:expression><bgf:expression><terminal>false</terminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Integer</nonterminal><bgf:expression><value>int</value></bgf:expression></bgf:production><bgf:production><nonterminal>String</nonterminal><bgf:expression><value>string</value></bgf:expression></bgf:production></bgf:grammar>