Small piece of code to parse easily the InToHyLo format. Documentation here:
C++ Makefile C
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
doc
.DS_Store
.gitignore
.gitlab-ci.yml
And.cc
And.h
Box.cc
Box.h
Constant.cc
Constant.h
Diamond.cc
Diamond.h
Doxyfile
Equiv.cc
Equiv.h
Formula.cc
Formula.h
Imply.cc
Imply.h
LexicalAnalysis.cc
LexicalAnalysis.h
License
Main.cc
Main.h
Neg.cc
Neg.h
Or.cc
Or.h
PropositionalVariable.cc
PropositionalVariable.h
README.md
SyntacticAnalysis.cc
SyntacticAnalysis.h
makefile

README.md

README First

  • To compile: make clean; make

  • To generate the documentation: doxygen;

  • To execute ./bin/parser-intohylo path-to-formula-in-intohylo

Here the Backus-Normal-Form of the InToHyLo format

BNF of InToHyLo

The parser is using a classical algorithm of shift and reduce;

It is allowing the multiple modalities and each class represents a modal logic element (see documentation for more details).

Class-Diagram

Class Diagram

Use Example

begin 
	<r1>(p1 & p2)
end


begin
	~<r1>(~(p1 | [r2]p4))
end

Credits