diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2024-03-10 02:11:15 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2024-04-07 14:58:40 +0200 |
| commit | a636a86accf0ed00d0700e04ac0e1ce4f8cadf64 (patch) | |
| tree | c11c8df3dca1653643b3941de19e5dbb0cef85b1 /subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/internal/DecisionTreeNode.java | |
| parent | chore(deps): bump dependencies (diff) | |
| download | refinery-a636a86accf0ed00d0700e04ac0e1ce4f8cadf64.tar.gz refinery-a636a86accf0ed00d0700e04ac0e1ce4f8cadf64.tar.zst refinery-a636a86accf0ed00d0700e04ac0e1ce4f8cadf64.zip | |
refactor(logic): abstract domain interface
Require all abstract domain elements to implement the AbstractValue interface.
Diffstat (limited to 'subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/internal/DecisionTreeNode.java')
0 files changed, 0 insertions, 0 deletions