apollo-backend/eu.yeger.apollo.shared.model.fol/Function/Unary/getRawString

getRawString

open override fun getRawString(variableAssignments: Map<String, Node>): String(source)

Returns raw String representation of this unary term.

Return

The raw String representation of this unary term.

Parameters

variableAssignments

Map of BoundVariable names and Nodes that will replace them in the String representation. Unused.