Package-level declarations

Types

Link copied to clipboard
data class Edge(val source: Node, val target: Node, val relations: List<String>, val functions: List<String>)

Represents an edge between two Nodes of a domain Graph.

Link copied to clipboard
data class Graph(val nodes: List<Node>, val edges: List<Edge>)

Represents a graph consisting of Nodes and Edges.

Link copied to clipboard
data class Node(val name: String, val relations: List<String>, val constants: List<String>)

Represents a node of a domain Graph.