3.1.13. cnfformula.families.simple module

Implementation of simple formulas

class AND

Bases: object

Command line helper for a 1-CNF (i.e. conjunction)

Methods

build_cnf(args)	Build a conjunction
setup_command_line(parser)	Setup the command line options for an and of literals

static build_cnf(args)

Build a conjunction

Arguments: - args: command line options

description = 'a single conjunction'

name = 'and'

static setup_command_line(parser)

Setup the command line options for an and of literals

Arguments: - parser: parser to load with options.

class EMPTY

Bases: object

Command line helper for the empty CNF (no clauses)

Methods

build_cnf(args)

Build an empty CNF formula

setup_command_line

static build_cnf(args)

Build an empty CNF formula

Parameters:

args : ignored

command line options

description = 'empty CNF formula'

name = 'empty'

static setup_command_line(parser)

class EMPTY_CLAUSE

Bases: object

Command line helper for the contradiction (one empty clauses)

Methods

build_cnf(args)

Build a CNF formula with an empty clause

setup_command_line

static build_cnf(args)

Build a CNF formula with an empty clause

Parameters:

args : ignored

command line options

description = 'one empty clause'

name = 'emptyclause'

static setup_command_line(parser)

class OR

Bases: object

Command line helper for a single clause formula

Methods

build_cnf(args)	Build an disjunction
setup_command_line(parser)	Setup the command line options for single or of literals

static build_cnf(args)

Build an disjunction

Arguments: - args: command line options

description = 'a single disjunction'

name = 'or'

static setup_command_line(parser)

Setup the command line options for single or of literals

Arguments: - parser: parser to load with options.