public class MultiplyRootsEvent extends TableDebugEvent
| Constructor and Description |
|---|
MultiplyRootsEvent(PatternObject root,
Table<?> table) |
| Modifier and Type | Method and Description |
|---|---|
PatternObject |
getRoot() |
java.lang.String |
toString() |
getTableSnapshotpublic MultiplyRootsEvent(PatternObject root, Table<?> table)
public PatternObject getRoot()
public java.lang.String toString()
toString in class java.lang.Object