Python DirectedAcyclicGraphHelper.obtain_graph Examples

Example #1

File: pebbling.py Project: StephanGocht/cnfgen

    def build_cnf(args):
        """Build the pebbling formula

        Arguments:
        - `args`: command line options
        """
        D = DirectedAcyclicGraphHelper.obtain_graph(args)
        return StoneFormula(D, args.s)

Example #2

File: pebbling.py Project: StephanGocht/cnfgen

    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)

Example #3

File: pebbling.py Project: louisabraham/cnfgen

    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)

Example #4

File: pebbling.py Project: MassimoLauria/cnfgen

    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)

Example #5

File: pebbling.py Project: chansonyhu/cnfgen

    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)

Example #6

File: pebbling.py Project: chansonyhu/cnfgen

    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)

Example #7

File: pebbling.py Project: lizzij/LCProj

    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)