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 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)