Class Cvc4Solver

  • All Implemented Interfaces:
    Solver

    public final class Cvc4Solver
    extends SolverBase
    • Constructor Detail

      • Cvc4Solver

        public Cvc4Solver()
    • Method Detail

      • getHeader

        protected java.util.List<java.lang.String> getHeader()
        Returns the list of solver-specific header lines.
        Returns:
        The list of solver-specific header lines.
      • invokeSolver

        public java.io.Reader invokeSolver​(java.lang.String path)
                                    throws java.io.IOException
        Throws:
        java.io.IOException
      • solve

        public SolverResult solve​(Constraint constraint)
        Description copied from interface: Solver
        Solves the specified constraint.
        Parameters:
        constraint - A constraint object.
        Returns:
        Result of solving the constraint.