Python BipartiteGraphHelper.setup_command_lineの例

コード例 #1

ファイル: pebbling.py プロジェクト: louisabraham/cnfgen

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

コード例 #2

ファイル: pebbling.py プロジェクト: MassimoLauria/cnfgen

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

コード例 #3

ファイル: subsetcardinality.py プロジェクト: StephanGocht/cnfgen

    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)

コード例 #4

ファイル: pigeonhole.py プロジェクト: marcvinyals/cnfgen

    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)

コード例 #5

    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)

コード例 #6

ファイル: subsetcardinality.py プロジェクト: chansonyhu/cnfgen

    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)