UniqueLogic.ST.TF.System

Preparation

data Variable w s a

globalVariable

Handle duplicates

class C w

simpleUpdate

updateIfNew

updateAndCheck

class Fragile t

class Value w a

Posing statements

data T w s a

localVariable

constant

assignment2

assignment3

data Apply w s a

arg

runApply

runApplyMaybe

Solution

solve

solveDepthFirst

solveBreadthFirst

query