.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.48.4.
.TH IPSETDOT "1" "August 2021" "ipsetdot 1.1.1+git20171111.6842a63-1~exp2" "User Commands"
.SH NAME
ipsetdot \- utility of libcorkipset library
.SH SYNOPSIS
.B ipsetdot
[\fI\,options\/\fR] \fI\,<input filename>\/\fR
.SH DESCRIPTION
Creates a GraphViz file showing the BDD structure of an IP set.
.SH OPTIONS
.IP
<input filename>
.TP
The binary set file to read.
To read from stdin, use "\-" as the
.IP
filename.
.HP
\fB\-\-output=\fR<filename>, \fB\-o\fR <filename>
.IP
Writes the GraphViz representation of the binary IP set file to
<filename>.  If this option isn't given, then the contents will be
written to standard output.
.HP
\fB\-\-verbose\fR, \fB\-v\fR
.TP
Show progress information about the files being read and written.
If
.IP
this option is not given, the only output will be any error messages
that occur.
.HP
\fB\-\-help\fR
.IP
Display this help and exit.
.SS "Output format:"
.IP
Internally, IP sets are represented by a binary\-decision diagram (BDD).
The ipsetdot program can be used to produce a GraphViz file that describes
the internal BDD structure for an IP set.  The GraphViz representation can
then be passed in to GraphViz's "dot" program, for instance, to generate
an image of the BDD's graph structure.