Commit | Line | Data |
0498469a |
1 | Action::RemoveValue |
9d759b64 |
2 | RemoveBoundValue |
efad53c4 |
3 | ? KnownFactSet |
4 | ? KnownResolutionSet |
9d759b64 |
5 | Predicate::Foreach |
6 | Predicate::Findall |
7 | Predicate::Forall |
8 | Predicate::Rule |
9 | Predicate::Not |
10 | Step::SubSolve |
11 | Solution |
12 | Endjinn |