Project

General

Profile

Actions
Copy link

Bug #7931

closed

solver - error: reference not found (java 1.8)

Added by Alexander Protsenko almost 8 years ago. Updated about 6 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Alexander Kamkin
Category:
-
Target version:
2.4
Start date:
01/31/2017
Due date:
% Done:

0%

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.
Actions
Copy link

Also available in: Atom PDF