public static class ImplicationInfo.ExtractImplResult
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
ParseNode |
core |
ParseNode |
implPrefix |
Stmt |
implStatement |
Constructor and Description |
---|
ExtractImplResult(ParseNode implPrefix,
Stmt implStatement,
ParseNode core) |