public class GenProofStepStmt
extends java.lang.Object
ph -> x in RR
ph -> y in RR
x + y = z
so y + x = z
Note: simple proof statements also could have form "ph -> core".
Constructor and Description |
---|
GenProofStepStmt(ProofStepStmt step,
ParseNode prefix) |
Modifier and Type | Method and Description |
---|---|
ParseNode |
getCore() |
ParseNode |
getPrefix() |
ParseNode |
getPrefixOrNull() |
boolean |
hasPrefix() |
public GenProofStepStmt(ProofStepStmt step, ParseNode prefix)