Class ProboReasoner

    • Constructor Summary

      Constructors 
      Constructor Description
      ProboReasoner​(java.lang.String path_to_exec, Semantics semantics)
      Constructs a new instance of ProboReasoner
      ProboReasoner​(java.lang.String path_to_exec, Semantics semantics, Shell bash)
      Constructs a new instance of ProboReasoner
    • Constructor Detail

      • ProboReasoner

        public ProboReasoner​(java.lang.String path_to_exec,
                             Semantics semantics)
        Constructs a new instance of ProboReasoner
        Parameters:
        path_to_exec - the path to the probo-compliant solver
        semantics - The semantics to be used
      • ProboReasoner

        public ProboReasoner​(java.lang.String path_to_exec,
                             Semantics semantics,
                             Shell bash)
        Constructs a new instance of ProboReasoner
        Parameters:
        path_to_exec - the path to the probo-compliant solver
        semantics - The semantics to be used
        bash - the shell which should be used to run the solver