apollo-backend/eu.yeger.apollo.shared.model.fol/BoundVariable/getRawString

getRawString

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

Returns the name of the assigned Node or the name of this BoundVariable if none is assigned.

Return

The String representation.

Parameters

variableAssignments

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