graph

fun Solver.graph(): Graph

The graph of the active context branch


fun Solver.graph(context: Int): Graph

The graph of the context branch context: its arguments, labelled, their attacks and supports