protocol
graph_language_protocol¶
Predicates for generating graph files.
Author: Paulo Moura
Version: 2.0
Date: 2014/12/30
Compilation flags:
staticDependencies:
(none)
Remarks:
(none)
Public predicates¶
output_file_name/2¶
Constructs the diagram file basename by adding a graph language dependent extension to the given name.
Compilation flags:
staticTemplate:
output_file_name(Name,Basename)Mode and number of proofs:
output_file_name(+atom,-atom) - onefile_header/3¶
Writes the output file header using the specified options.
Compilation flags:
staticTemplate:
file_header(Stream,Identifier,Options)Mode and number of proofs:
file_header(+stream_or_alias,+atom,+list(compound)) - onegraph_header/5¶
Writes a graph header using the specified options.
Compilation flags:
staticTemplate:
graph_header(Stream,Identifier,Label,Kind,Options)Mode and number of proofs:
graph_header(+stream_or_alias,+atom,+atom,+atom,+list(compound)) - oneProtected predicates¶
(none)
Private predicates¶
(none)