|
|||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
| Class Summary | |
| Chart | The chart manages the creation of edges. |
| Edge | An edge is a sign paired with a bitset representing its coverage of the input predicates. |
| EdgeFactory | The EdgeFactory is responsible for creating edges. |
| Realizer | The realizer manages the realization process. |
|
|||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||