The package de.uni_luebeck.isp.rvtool.rvlib.syntax contains all classes necessary for the syntax of an ltl formula describing safety properties.