format aperture in backtrack trace
[scpubgit/DX.git] / need
CommitLineData
0498469a 1Action::RemoveValue
9d759b64 2 RemoveBoundValue
efad53c4 3? KnownFactSet
4? KnownResolutionSet
9d759b64 5Predicate::Foreach
6Predicate::Findall
7Predicate::Forall
8Predicate::Rule
9Predicate::Not
10Step::SubSolve
11Solution
12Endjinn