jif.types.hierarchy
Interface LabelEnv.SearchState

Enclosing interface:
LabelEnv

public static interface LabelEnv.SearchState

Encapsulates the solvers search state.