Name		Name	Last commit message	Last commit date
parent directory ..
@rtl		@rtl
@specification		@specification
@stl		@stl
@stlInterval		@stlInterval
signals		signals
README.md		README.md
atomicProposition.m		atomicProposition.m
finiteKleeneSignalBuilder.m		finiteKleeneSignalBuilder.m
fourValued.m		fourValued.m
kleene.m		kleene.m
onlineAnalyzerNode.m		onlineAnalyzerNode.m
onlineReachSetAnalyzer.m		onlineReachSetAnalyzer.m
reachSetAnalyzer.m		reachSetAnalyzer.m
simResultAnalyzer.m		simResultAnalyzer.m
syntaxTree.m		syntaxTree.m

README.md

Specification

This folder contains all specification classes of CORA.

Please check the CORA manual for more information.