private PrettyPrintFormat getFormatFromGUI()
{
return(new PrettyPrintFormat
{
showType = showTypesCB.Checked,
showTermId = showTermIdCB.Checked,
maxWidth = (int)maxTermWidthUD.Value,
MaxTermPrintingDepth = (int)maxTermDepthUD.Value,
MaxEqualityExplanationPrintingDepth = (int)congruenceDepthUD.Value,
ShowEqualityExplanations = showEqualityExplanationsCheckBox.Checked,
rewritingEnabled = enableRewritingCB.Checked,
printRuleDict = printRuleDict.clone()
});
}
