cnfgen.clihelpers.php_helpers module

Formula Helpers for pigeonhole principle formulas

Copyright (C) 2012-2021 Massimo Lauria <massimo.lauria@uniroma1.it> https://massimolauria.net/cnfgen/

class BPHPCmdHelper

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Command line helper for the Pigeonhole principle CNF

Methods

build_cnf(args)	Build a PHP formula according to the arguments
setup_command_line(parser)	Setup the command line options for pigeonhole principle formula

static build_cnf(args)

Build a PHP formula according to the arguments

Arguments: - args: command line options

description = 'binary pigeonhole principle'

name = 'bphp'

static setup_command_line(parser)

Setup the command line options for pigeonhole principle formula

Arguments: - parser: parser to load with options.

class CliqueColoringCmdHelper

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Command line helper for the Clique-coclique CNF

Methods

build_cnf(args)	Build a Clique-coclique formula according to the arguments
setup_command_line(parser)	Setup the command line options for clique-coloring formula

static build_cnf(args)

Build a Clique-coclique formula according to the arguments

Arguments: - args: command line options

description = 'There is a graph G with a k-clique and a c-coloring'

name = 'cliquecoloring'

static setup_command_line(parser)

Setup the command line options for clique-coloring formula

Arguments: - parser: parser to load with options.

class PHPArgs(option_strings, dest, nargs=None, const=None, default=None, type=None, choices=None, required=False, help=None, metavar=None)

Bases: argparse.Action

Methods

__call__(parser, args, values[, option_string])

Call self as a function.

class PHPCmdHelper

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Command line helper for the Pigeonhole principle CNF

Methods

build_cnf(args)	Build a PHP formula according to the arguments
setup_command_line(parser)	Setup the command line options for pigeonhole principle formula

static build_cnf(args)

Build a PHP formula according to the arguments

Arguments: - args: command line options

description = 'pigeonhole principle'

name = 'php'

static setup_command_line(parser)

Setup the command line options for pigeonhole principle formula

Arguments: - parser: parser to load with options.

class PTNCmdHelper

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Command line helper for PTN formulas

Methods

build_cnf(args)	Build a Ramsey formula according to the arguments
setup_command_line(parser)	Setup the command line options for PTN formula

static build_cnf(args)

Build a Ramsey formula according to the arguments

Arguments: - args: command line options

description = 'Bicoloring of N with no monochromatic Pythagorean Triples'

name = 'ptn'

static setup_command_line(parser)

Setup the command line options for PTN formula

Arguments: - parser: parser to load with options.

class RPHPCmdHelper

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Command line helper for the Relativized Pigeonhole principle CNF

Methods

build_cnf(args)	Build a RPHP formula according to the arguments Arguments: - args: command line options
setup_command_line(parser)	Setup the command line options for relativized pigeonhole principle formula Arguments: - parser: parser to load with options.

static build_cnf(args)

Build a RPHP formula according to the arguments Arguments: - args: command line options

description = 'relativized pigeonhole principle'

name = 'rphp'

static setup_command_line(parser)

Setup the command line options for relativized pigeonhole principle formula Arguments: - parser: parser to load with options.

class RamseyCmdHelper

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Command line helper for RamseyNumber formulas

Methods

build_cnf(args)	Build a Ramsey formula according to the arguments
setup_command_line(parser)	Setup the command line options for Ramsey formula

static build_cnf(args)

Build a Ramsey formula according to the arguments

Arguments: - args: command line options

description = 'ramsey number principle'

name = 'ram'

static setup_command_line(parser)

Setup the command line options for Ramsey formula

Arguments: - parser: parser to load with options.

class VDWCmdHelper

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Command line helper for RamseyNumber formulas

Methods

build_cnf(args)	Build a Ramsey formula according to the arguments
setup_command_line(parser)	Setup the command line options for Ramsey formula

static build_cnf(args)

Build a Ramsey formula according to the arguments

Arguments: - args: command line options

description = 'van der Waerden principle'

name = 'vdw'

static setup_command_line(parser)

Setup the command line options for Ramsey formula

Arguments: - parser: parser to load with options.

is_some_number(string)