dotProofFile property

set dotProofFile (File file)

The file to output graphical proofs.

Defaults to 'proof.dot'.

Implementation

set dotProofFile(File file) => this['dot_proof_file'] = file.path;