Node

data class Node(val name: String, val relations: List<String>, val constants: List<String>)(source)

Represents a node of a domain Graph.

Author

Jan Müller

Constructors

Link copied to clipboard
constructor(name: String, relations: List<String>, constants: List<String>)

Creates a Node with the given parameters.

Properties

Link copied to clipboard

List of constants assigned to this node. Each must start with a lowercase letter.

Link copied to clipboard

The name of the node.

Link copied to clipboard

List of relations assigned to this node. Each must start with an uppercase letter.