Project

General

Profile

Bug #7931

solver - error: reference not found (java 1.8)

Added by Alexander Protsenko about 1 year ago. Updated about 1 month ago.

Status:
Resolved
Priority:
Normal
Category:
Solver
Target version:
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.

History

#1 Updated by Andrei Tatarnikov about 1 month ago

  • Status changed from New to Resolved

Also available in: Atom PDF