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

getRawString

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

Returns the name of this constant.

Return

The name of this constant.

Parameters

variableAssignments

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