cnfgen.clihelpers.ordering_helpers module¶
Implementation of some Ordering principle helpers
Copyright (C) 2012, 2013, 2014, 2015, 2016, 2019, 2020 Massimo Lauria <massimo.lauria@uniroma1.it> https://massimolauria.net/cnfgen/
-
class
OPCmdHelper
¶ Bases:
cnfgen.clihelpers.formula_helpers.FormulaHelper
Command line helper for Ordering principle formulas
Methods
build_cnf
(args)Build an Ordering principle formula according to the arguments setup_command_line
(parser)Setup the command line options for Ordering principle formula -
static
build_cnf
(args)¶ Build an Ordering principle formula according to the arguments
Arguments: - args: command line options
-
description
= 'ordering principle'¶
-
name
= 'op'¶
-
static
setup_command_line
(parser)¶ Setup the command line options for Ordering principle formula
Arguments: - parser: parser to load with options.
-
static