HPnG

A program to analyze and simulate HPnG models.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
examples		examples
rapidxml		rapidxml
.DS_Store		.DS_Store
.gitignore		.gitignore
DFPN2 .cpp.old		DFPN2 .cpp.old
DFPN2.cpp		DFPN2.cpp
DFPN2.cpp.jannik		DFPN2.cpp.jannik
DFPN2.h		DFPN2.h
Event.h		Event.h
Formula.cpp		Formula.cpp
Formula.h		Formula.h
GeometryHelper.cpp		GeometryHelper.cpp
GeometryHelper.h		GeometryHelper.h
IntervalSet.cpp		IntervalSet.cpp
IntervalSet.h		IntervalSet.h
Line.cpp		Line.cpp
Line.h		Line.h
ModelChecker.cpp		ModelChecker.cpp
ModelChecker.h		ModelChecker.h
README.md		README.md
Region.cpp		Region.cpp
Region.h		Region.h
TimedDiagram.cpp		TimedDiagram.cpp
TimedDiagram.h		TimedDiagram.h
abc.xml~		abc.xml~
main.cpp		main.cpp
polygon.cpp		polygon.cpp
polygon.h		polygon.h

Provide feedback