TermFormatter

interface TermFormatter: Formatter<Term>, TermVisitor<String>, Any

A particular sort of Formatters aimed at representing terms

Methods

format

open fun format(value: Term): String

Converts a Term into a String

Parameters

Name Description
value: Term

is the Term to be converted in String

ReturnValue

Name Description
String

a String representing the Term provided as argument

CompanionObject

TermFormatter

interface TermFormatter: Formatter<Term>, TermVisitor<String>, Any

A particular sort of Formatters aimed at representing terms

Methods

prettyVariables

fun prettyVariables(): TermFormatter

A TermFormatter representing terms in canonical form, except for Variables which are represented using their simple name only, if possible. So for instance the term A_1 + B_2 is represented as '+'(A, B). Conversely, if two or more variables share the same simple name, they are represented through relative and progressive indexes. So for instance, the term A_3 + A_4 is represented as '+'(A1, A2).

ReturnValue

Name Description
TermFormatter

prettyExpressions

fun prettyExpressions(prettyVariables: Boolean, operatorSet: OperatorSet): TermFormatter

A TermFormatter representing terms in a pretty way, i.e. by representing prefix, postfix, or infix expressions according to the provided OperatorSet. Variables may be represented either in a pretty way or through their raw representation, depending on the value of the prettyVariables.

So for instance, assuming an infix operator + is contained in operatorSet, the term A_1 + B_2 is would be represented as A + B, if prettyVariables is true, or A_1 + B_2 otherwise.

Parameters

Name Description
prettyVariables: Boolean
operatorSet: OperatorSet

ReturnValue

Name Description
TermFormatter

prettyExpressions

fun prettyExpressions(operatorSet: OperatorSet): TermFormatter

A TermFormatter representing terms in a pretty way, i.e. by representing prefix, postfix, or infix expressions according to the provided OperatorSet. Variables are represented in pretty way as well, similarly to what the formatter returned by prettyVariables does.

So for instance, assuming an infix operator + is contained in operatorSet, the term A_1 + B_2 is would be represented as A + B.

Parameters

Name Description
operatorSet: OperatorSet

ReturnValue

Name Description
TermFormatter

prettyExpressions

fun prettyExpressions(prettyVariables: Boolean): TermFormatter

A TermFormatter representing terms in a pretty way, i.e. by representing prefix, postfix, or infix expressions according to the operators defined in OperatorSet.DEFAULT. Variables may be represented either in a pretty way or through their raw representation, depending on the value of the prettyVariables.

So for instance the term A_1 + B_2 is represented as A + B, if prettyVariables is true, or A_1 + B_2 otherwise.

Parameters

Name Description
prettyVariables: Boolean

ReturnValue

Name Description
TermFormatter

prettyExpressions

fun prettyExpressions(): TermFormatter

A TermFormatter representing terms in a pretty way, i.e. by representing prefix, postfix, or infix expressions according to the operators defined in OperatorSet.DEFAULT. Variables are represented in pretty way as well, similarly to what the formatter returned by prettyVariables does.

So for instance the term A_1 + B_2 is represented as A + B.

ReturnValue

Name Description
TermFormatter