blob: 7241b032727cfb4e16348a5e10f982e2e52e7fe3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
/*
* SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
*
* SPDX-License-Identifier: EPL-2.0
*/
package tools.refinery.store.reasoning.translator.crossreference;
import tools.refinery.store.reasoning.representation.PartialRelation;
import tools.refinery.store.reasoning.translator.multiplicity.Multiplicity;
import tools.refinery.store.representation.TruthValue;
public record DirectedCrossReferenceInfo(PartialRelation sourceType, Multiplicity sourceMultiplicity,
PartialRelation targetType, Multiplicity targetMultiplicity,
TruthValue defaultValue) {
public boolean isConstrained() {
return sourceMultiplicity.isConstrained() || targetMultiplicity.isConstrained();
}
}
|