def setup_command_line(parser):
"""Setup the command line options for pebbling formulas
Arguments:
- `parser`: parser to load with options.
"""
DirectedAcyclicGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for pebbling formulas
Arguments:
- `parser`: parser to load with options.
"""
DirectedAcyclicGraphHelper.setup_command_line(parser)
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):
"""Setup the command line options for stone formulas
Arguments:
- `parser`: parser to load with options.
"""
DirectedAcyclicGraphHelper.setup_command_line(parser)
parser.add_argument('s',metavar='<s>',type=int,help="number of stones")
def build_cnf(args):
"""Build the pebbling formula
Arguments:
- `args`: command line options
"""
D = DirectedAcyclicGraphHelper.obtain_graph(args)
return StoneFormula(D, args.s)
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 the pebbling formula
Arguments:
- `args`: command line options
"""
D = DirectedAcyclicGraphHelper.obtain_graph(args)
try:
return StoneFormula(D, args.s)
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)
try:
return StoneFormula(D,args.s)
except ValueError,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)
try:
return StoneFormula(D,args.s)
except ValueError:
print("\nError: Input graph must be a DAG, and a non negative # of stones.",file=sys.stderr)
sys.exit(-1)
def build_cnf(args):
"""Build the pebbling formula
Arguments:
- `args`: command line options
"""
D= DirectedAcyclicGraphHelper.obtain_graph(args)
try:
return PebblingFormula(D)
except ValueError:
print("\nError: input graph must be directed and acyclic.",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)
