Bug #7931: solver - error: reference not found (java 1.8) - MicroTESK - Open-Source Projects

Actions

Copy link

Bug #7931

closed

solver - error: reference not found (java 1.8)

Added by Alexander Protsenko about 7 years ago. Updated over 5 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Alexander Kamkin

Category:

Target version:

2.4

Start date:

01/31/2017

Due date:

% Done:

Estimated time:

Detected in build:

svn

Platform:

Published in build:

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.