blob: 2ba6becc205bf4e27a2ab61c9c054453547fe796 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
package tools.refinery.store.query;
import tools.refinery.store.query.literal.Literal;
import java.util.List;
import java.util.Set;
public record DnfClause(Set<Variable> quantifiedVariables, List<Literal> literals) {
}
|