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