Method | Description | |
---|---|---|
ProofStepFoChAlreadyAFact ( |
||
getJustification ( ) : String | ||
getPredecessorSteps ( ) : List |
||
getProof ( ) : String |
public ProofStepFoChAlreadyAFact ( |
||
fact | ||
return | System |