Package ch.so.agi.mcp.constraint

Class NavigationGraphSynthesizer

java.lang.Object

ch.so.agi.mcp.constraint.NavigationGraphSynthesizer

public final class NavigationGraphSynthesizer
extends Object

Direct object-valued navigation, shared with Mandatory and Decision Table proofs.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	NavigationGraphSynthesizer.Binding

Method Summary

Modifier and Type	Method	Description
static NavigationGraphSynthesizer.Binding	bind(ch.interlis.ili2c.metamodel.TransferDescription td, String contextFqn, SemanticConstraint.NavigatedObjects objects)
static List<NavigationGraphSynthesizer.Binding>	bindAll(ch.interlis.ili2c.metamodel.TransferDescription td, String contextFqn, SemanticConstraint.NavigatedObjects objects)
static ConstraintModelSynthesizer.ObjectGraph	synthesize(NavigationGraphSynthesizer.Binding binding, int count, String prefix)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

bind

public static NavigationGraphSynthesizer.Binding bind(ch.interlis.ili2c.metamodel.TransferDescription td,
 String contextFqn,
 SemanticConstraint.NavigatedObjects objects)

bindAll

public static List<NavigationGraphSynthesizer.Binding> bindAll(ch.interlis.ili2c.metamodel.TransferDescription td,
 String contextFqn,
 SemanticConstraint.NavigatedObjects objects)

synthesize

public static ConstraintModelSynthesizer.ObjectGraph synthesize(NavigationGraphSynthesizer.Binding binding,
 int count,
 String prefix)