Project

General

Profile

Bug #7931

solver - error: reference not found (java 1.8)

Added by Alexander Protsenko over 2 years ago. Updated 8 months ago.

Status:
Closed
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 over 1 year ago

  • Status changed from New to Resolved
#2

Updated by Alexander Kamkin 8 months ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF