Bug #7931

solver - error: reference not found (java 1.8)

Added by Alexander Protsenko 3 months ago.

Status:NewStart date:01/31/2017
Priority:NormalDue date:
Assignee:Alexander Kamkin% Done:

0%

Category:SolverSpent time:-
Target version:2.4
Detected in build:svn Published in build:
Platform:

Description

java version "1.8.0_121"

C:\!microtesk\microtesk\trunk\microtesk\src\main\java\core\ru\ispras\microtesk\basis\solver\integer\IntegerFieldFormulaProblem.java:20: error: reference not found
 * {@link IntegerFormulaProblem} represents an integer problem.
          ^
C:\!microtesk\microtesk\trunk\microtesk\src\main\java\core\ru\ispras\microtesk\basis\solver\integer\IntegerFieldFormulaProblemSat4j.java:23: error: reference not found
 * {@link IntegerFormulaProblem} represents an integer problem.
          ^
C:\!microtesk\microtesk\trunk\microtesk\src\main\java\core\ru\ispras\microtesk\basis\solver\integer\IntegerFieldFormulaSolverSat4j.java:49: error: @param name not found
   * @param problem the problem to be solved.

Also available in: Atom PDF