aontu 0.52.1 → 0.53.0

package/dist/val/ConstraintVal.d.ts

@@ -24,6 +24,7 @@ type ConstraintState = {
     res: ReAtom[];
     count?: ConstraintState;
     uniq: boolean;
+    uniqBy: string[];
     musts: MustAtom[];
     clash?: boolean;
     invalid?: string;
@@ -40,6 +41,7 @@ declare class ConstraintVal extends FeatureVal {
     res: ReAtom[];
     count?: ConstraintState;
     uniq: boolean;
+    uniqBy: string[];
     musts: MustAtom[];
     pending?: {
         atom: string;
@@ -57,7 +59,9 @@ declare class ConstraintVal extends FeatureVal {
     private settle;
     private admit;
     private checkMusts;
+    settleContainer(peer: any, ctx: AontuContext): Val;
     private admitContainer;
+    private hold;
     private meetKind;
     private meetConstraint;
     private finish;
@@ -67,6 +71,8 @@ declare class ConstraintVal extends FeatureVal {
     get canon(): string;
     same(peer: any): boolean;
 }
+declare function constraintSubsumesConstraint(g: ConstraintVal, s: ConstraintVal): boolean | 'undecided';
+declare function constraintAdmitsScalar(g: ConstraintVal, scalar: any): boolean | 'undecided';
 declare class MinConstraintVal extends ConstraintVal {
     constructor(spec: ValSpec, ctx?: AontuContext);
 }
@@ -94,4 +100,4 @@ declare class LengthConstraintVal extends ConstraintVal {
 declare class UniqueConstraintVal extends ConstraintVal {
     constructor(spec: ValSpec, ctx?: AontuContext);
 }
-export { normaliseRe, ConstraintVal, MinConstraintVal, MaxConstraintVal, AboveConstraintVal, BelowConstraintVal, NeqConstraintVal, ReConstraintVal, LengthConstraintVal, UniqueConstraintVal, MustConstraintVal, };
+export { normaliseRe, constraintSubsumesConstraint, constraintAdmitsScalar, ConstraintVal, MinConstraintVal, MaxConstraintVal, AboveConstraintVal, BelowConstraintVal, NeqConstraintVal, ReConstraintVal, LengthConstraintVal, UniqueConstraintVal, MustConstraintVal, };