blob: c2ca1fdb100992c4e7feac260bfd6a5d9bf52272 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
package tools.refinery.store.query.atom;
import tools.refinery.store.representation.SymbolLike;
import tools.refinery.store.representation.Symbol;
import tools.refinery.store.representation.TruthValue;
public record ModalRelation(Modality modality, Symbol<TruthValue> relation) implements SymbolLike {
@Override
public String name() {
return "%s %s".formatted(modality, relation);
}
@Override
public int arity() {
return relation.arity();
}
}
|