Class OpenWboSolver

    • Constructor Detail

      • OpenWboSolver

        public OpenWboSolver​(java.lang.String binaryLocation)
        Creates a new solver based on the open-wbo executable given as a parameter.
        Parameters:
        binaryLocation - the path to the executable.
    • Method Detail

      • getWitness

        public Interpretation<PlBeliefSet,​PlFormula> getWitness​(java.util.Collection<PlFormula> hardConstraints,
                                                                      java.util.Map<PlFormula,​java.lang.Integer> softConstraints)
        Description copied from class: MaxSatSolver
        Returns an interpretation with maximal weight on the soft constraints (or null if the hard constraints are not satisfiable)
        Specified by:
        getWitness in class MaxSatSolver
        Parameters:
        hardConstraints - a set of propositional formulas
        softConstraints - a map mapping clauses to weights (if there is a formula, which is not a clause, i.e. a disjunction of literals), an exception is thrown.
        Returns:
        an interpretation with maximal weight on the soft constraints (or null if the hard constraints are not satisfiable)