This package implements the tokens for the scanner and parser of package {@link de.upb.swt.mcie.parser}. @see de.upb.swt.mcie.formulas @see de.upb.swt.mcie.parser