Support

data class Support(val supporter: Argument, val supported: Argument)

A support of a graph: supporter is an argument supported is built on

Constructors

Link copied to clipboard
constructor(supporter: Argument, supported: Argument)

Properties

Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
open override fun toString(): String
Link copied to clipboard
fun toTerm(): Struct

The term of the support (see SupportTerm)