output.pl -- Emit sCASP terms

 print_model_term(+Term, +Options) is det

Print a model element to the terminal.

 connector(+Semantics, -Conn, +Options) is det

Get an ASCII or Unicode connector string with the claimed Semantics.

 inline_constraints(+Term, +Options) is det

Get constraints on variables notated as Var | {Constraints} and use assigned variable names. Note that this binds the attributed variables in Term. This code is normally used on a copy or inside double negation (\+ \+ ( inline_constraints(Term, Options), ...)).

 ovar_analyze_term(+Term) is det

 ovar_analyze_term(+Term, +Options) is det

Analyze variables in an output term. Adds attributes to these variables that indicate their status and make this available through ovar_is_singleton/1 and ovar_var_name/1.

 ovar_clean(+Term)

Delete all attributes added by ovar_analyze_term/1

 ovar_is_singleton(@Var) is semidet

True when Var is a singleton variable

 ovar_set_name(+Var, +Name)

Set the name of Var to Name.

 ovar_set_bindings(+Bindings) is det

Given Bindings as a list of Name=Var, set the names of the variables.

 ovar_var_name(@Var, -Name) is semidet

True when var is not a singleton and has the assigned name. Names are assigned as A, B, ... A1, B1, ...

 human_expression(:Tree, -Children, -Actions) is semidet

If there is a human print rule for Atom, return a list of format actions as Actions. Actions is currently a list of text(String) and @(Var:Type), where Type can be the empty atom.

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

 ovar_analyze_term(+Term) is det

 ovar_analyze_term(+Term, +Options) is det

Analyze variables in an output term. Adds attributes to these variables that indicate their status and make this available through ovar_is_singleton/1 and ovar_var_name/1.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 print_connector(Arg1, Arg2)