Package | Description |
---|---|
fmrisc.ProofNavigator.Proving.CVCL |
Constructor and Description |
---|
CVCLLexer(CVCL cvcl,
java.io.Reader in) |
CVCLParser(CVCL cvcl,
CVCLLexer lexer) |
InvalidAnswerCVCL(CVCL cvcl,
java.lang.String justification)
Create answer that formula is valid with denoted justification.
|