public class ConjunctionInfo extends DBInfo
Constructor and Description |
---|
ConjunctionInfo(ImplicationInfo implInfo,
java.util.List<Assrt> assrtList,
TrOutput output,
boolean dbg) |
Modifier and Type | Method and Description |
---|---|
GenProofStepStmt |
concatenateInTheSamePattern(GenProofStepStmt[] hyps,
ParseNode andPattern,
mmj.transforms.WorksheetInfo info)
Concatenates the list of hypotheses into one hypothesis.
|
boolean |
isAndOperation(Stmt stmt) |
java.util.List<ParseNode> |
separateByAnd(ParseNode input) |
public ConjunctionInfo(ImplicationInfo implInfo, java.util.List<Assrt> assrtList, TrOutput output, boolean dbg)
public GenProofStepStmt concatenateInTheSamePattern(GenProofStepStmt[] hyps, ParseNode andPattern, mmj.transforms.WorksheetInfo info)
hyps
- input hypotheses listandPattern
- templateinfo
- the work sheet infopublic boolean isAndOperation(Stmt stmt)