Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 3.55 KB
<?xml version="1.0" encoding="UTF-8"?>
<bgf:grammar xmlns:bgf="http://planet-sl.org/bgf" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:rng="http://relaxng.org/ns/structure/1.0" xmlns:rnga="http://relaxng.org/ns/compatibility/annotations/1.0"><bgf:production><nonterminal>Operator</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Equality</nonterminal></bgf:expression><bgf:expression><nonterminal>Inequality</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>BuiltInSort</nonterminal><bgf:expression><nonterminal>Bool</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BuiltInOperator</nonterminal><bgf:expression><nonterminal>BooleanOperator</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BuiltInConstant</nonterminal><bgf:expression><nonterminal>BooleanConstant</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Bool</nonterminal><bgf:expression><selectable><selector>bool</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>BooleanOperator.content</nonterminal><bgf:expression><nonterminal>BuiltInOperator.content</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BooleanOperator</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>And</nonterminal></bgf:expression><bgf:expression><nonterminal>Or</nonterminal></bgf:expression><bgf:expression><nonterminal>Imply</nonterminal></bgf:expression><bgf:expression><nonterminal>Not</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>And</nonterminal><bgf:expression><selectable><selector>and</selector><bgf:expression><nonterminal>BooleanOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Or</nonterminal><bgf:expression><selectable><selector>or</selector><bgf:expression><nonterminal>BooleanOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Not</nonterminal><bgf:expression><selectable><selector>not</selector><bgf:expression><nonterminal>BooleanOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Imply</nonterminal><bgf:expression><selectable><selector>imply</selector><bgf:expression><nonterminal>BooleanOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Equality</nonterminal><bgf:expression><selectable><selector>equality</selector><bgf:expression><nonterminal>Operator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Inequality</nonterminal><bgf:expression><selectable><selector>inequality</selector><bgf:expression><nonterminal>Operator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>BooleanConstant</nonterminal><bgf:expression><selectable><selector>booleanconstant</selector><bgf:expression><sequence><bgf:expression><selectable><selector>value</selector><bgf:expression><choice><bgf:expression><terminal>true</terminal></bgf:expression><bgf:expression><terminal>false</terminal></bgf:expression></choice></bgf:expression></selectable></bgf:expression><bgf:expression><nonterminal>BuiltInConstant.content</nonterminal></bgf:expression></sequence></bgf:expression></selectable></bgf:expression></bgf:production></bgf:grammar>