Browsable PNML Grammar

CC-BY

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/pnml/standard/booleans/extracted
Source used for this grammar: Lom Hillah, RELAX NG implementation of Booleans grammar, booleans.rng, July 2008 [Download]

Summary

Syntax

Operator ::=
	Equality
	Inequality
BuiltInSort ::=
	Bool
BuiltInOperator ::=
	BooleanOperator
BuiltInConstant ::=
	BooleanConstant
Bool ::=
	[bool]::ε
BooleanOperator.content ::=
	BuiltInOperator.content
BooleanOperator ::=
	And
	Or
	Imply
	Not
And ::=
	[and]::BooleanOperator.content
Or ::=
	[or]::BooleanOperator.content
Not ::=
	[not]::BooleanOperator.content
Imply ::=
	[imply]::BooleanOperator.content
Equality ::=
	[equality]::Operator.content
Inequality ::=
	[inequality]::Operator.content
BooleanConstant ::=
	[booleanconstant]::([value]::("true" | "false") BuiltInConstant.content)

GrammarLabMaintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. []