def setup_command_line(parser):
"""Setup the command line options for stone formulas
Arguments:
- `parser`: parser to load with options.
"""
DirectedAcyclicGraphHelper.setup_command_line(parser)
BipartiteGraphHelper.setup_command_line(parser, suffix="_mapping")
def setup_command_line(parser):
"""Setup the command line options for stone formulas
Arguments:
- `parser`: parser to load with options.
"""
DirectedAcyclicGraphHelper.setup_command_line(parser)
BipartiteGraphHelper.setup_command_line(parser,suffix="_mapping")
def setup_command_line(parser):
parser.add_argument('--equal',
'-e',
default=False,
action='store_true',
help="encode cardinality constraints as equations")
BipartiteGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for pigeonhole principle formula over graphs
Arguments:
- `parser`: parser to load with options.
"""
parser.add_argument('--functional',action='store_true',
help="pigeons sit in at most one hole")
parser.add_argument('--onto',action='store_true',
help="every hole has a sitting pigeon")
BipartiteGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for pigeonhole principle formula over graphs
Arguments:
- `parser`: parser to load with options.
"""
parser.add_argument('--functional',
action='store_true',
help="pigeons sit in at most one hole")
parser.add_argument('--onto',
action='store_true',
help="every hole has a sitting pigeon")
BipartiteGraphHelper.setup_command_line(parser)
def build_cnf(args):
"""Build the pebbling formula
Arguments:
- `args`: command line options
"""
D = DirectedAcyclicGraphHelper.obtain_graph(args)
B = BipartiteGraphHelper.obtain_graph(args, suffix="_mapping")
return SparseStoneFormula(D, B)
def build_cnf(args):
"""Build a Graph PHP formula according to the arguments
Arguments:
- `args`: command line options
"""
G = BipartiteGraphHelper.obtain_graph(args)
return GraphPigeonholePrinciple(G,
functional=args.functional,
onto=args.onto)
def build_cnf(args):
"""Build a Graph PHP formula according to the arguments
Arguments:
- `args`: command line options
"""
G = BipartiteGraphHelper.obtain_graph(args)
return GraphPigeonholePrinciple(G,
functional=args.functional,
onto=args.onto)
def build_cnf(args):
"""Build the pebbling formula
Arguments:
- `args`: command line options
"""
D = DirectedAcyclicGraphHelper.obtain_graph(args)
B = BipartiteGraphHelper.obtain_graph(args, suffix="_mapping")
try:
return SparseStoneFormula(D, B)
except ValueError as e:
print("\nError: {}".format(e), file=sys.stderr)
sys.exit(-1)
def build_cnf(args):
"""Build the pebbling formula
Arguments:
- `args`: command line options
"""
D= DirectedAcyclicGraphHelper.obtain_graph(args)
B= BipartiteGraphHelper.obtain_graph(args,suffix="_mapping")
try:
return SparseStoneFormula(D,B)
except ValueError,e:
print("\nError: {}".format(e),file=sys.stderr)
sys.exit(-1)
def build_cnf(args):
B = BipartiteGraphHelper.obtain_graph(args)
return SubsetCardinalityFormula(B,args.equal)
def setup_command_line(parser):
parser.add_argument('--equal','-e',default=False,action='store_true',
help="encode cardinality constraints as equations")
BipartiteGraphHelper.setup_command_line(parser)
def build_cnf(args):
B = BipartiteGraphHelper.obtain_graph(args)
return SubsetCardinalityFormula(B, args.equal)