Clingo.Configuration

Tree interface

data ConfTree v

class AMVTree t

(>=>)

fromConfig

fromConfigMany

Re-exported from StateVar

data StateVar a

($=)

get