subprojects/store/src/main/java/tools/refinery/store/query/literal/Literal.java


1
2
3
4
5
6
7
8
9
10
11
12

package tools.refinery.store.query.literal;

import tools.refinery.store.query.Variable;

import java.util.Map;
import java.util.Set;

public interface Literal {
	void collectAllVariables(Set<Variable> variables);

	Literal substitute(Map<Variable, Variable> substitution);
}