blob: 8f998d451db1ddcecf7ac692a24608885e90583b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
package tools.refinery.store.query.term;
import tools.refinery.store.query.equality.LiteralEqualityHelper;
import tools.refinery.store.query.substitution.Substitution;
import java.util.Set;
public sealed interface AnyTerm permits AnyDataVariable, Term {
Class<?> getType();
AnyTerm substitute(Substitution substitution);
boolean equalsWithSubstitution(LiteralEqualityHelper helper, AnyTerm other);
Set<AnyDataVariable> getInputVariables();
}
|