Package com.artelys.kalis
Class KSolver.IntAttrib
- java.lang.Object
-
- com.artelys.kalis.KSolver.IntAttrib
-
- Enclosing class:
- KSolver
public static final class KSolver.IntAttrib extends java.lang.Object
Integer attributes
-
-
Field Summary
Fields Modifier and Type Field Description static int
Backtracks
Number of backtracks.static int
Depth
Depth of the search tree.static int
LastCallPropagationIter
Fix point iterations during last propagation.static int
LastCallPropagationTime
Time elapsed during last propagation.static int
MaxReachedDepth
Maximum depth reached during search.static int
NumberOfNodes
Number of nodes explored.static int
SearchLimitReached
Limit reached during resolution.static int
ToleranceLimitReached
Tolerance limit reached during resolution.static int
TotalPropagationIter
Total fix point iterations for propagation.static int
TotalPropagationTime
Total time elapsed during propagation.
-
Constructor Summary
Constructors Constructor Description IntAttrib()
-
-
-
Field Detail
-
NumberOfNodes
public static final int NumberOfNodes
Number of nodes explored.- See Also:
- Constant Field Values
-
Depth
public static final int Depth
Depth of the search tree.- See Also:
- Constant Field Values
-
SearchLimitReached
public static final int SearchLimitReached
Limit reached during resolution. @see SearchLimitAttrib- See Also:
- Constant Field Values
-
ToleranceLimitReached
public static final int ToleranceLimitReached
Tolerance limit reached during resolution. @see ToleranceLimitAttrib- See Also:
- Constant Field Values
-
Backtracks
public static final int Backtracks
Number of backtracks.- See Also:
- Constant Field Values
-
TotalPropagationTime
public static final int TotalPropagationTime
Total time elapsed during propagation.- See Also:
- Constant Field Values
-
LastCallPropagationTime
public static final int LastCallPropagationTime
Time elapsed during last propagation.- See Also:
- Constant Field Values
-
TotalPropagationIter
public static final int TotalPropagationIter
Total fix point iterations for propagation.- See Also:
- Constant Field Values
-
LastCallPropagationIter
public static final int LastCallPropagationIter
Fix point iterations during last propagation.- See Also:
- Constant Field Values
-
MaxReachedDepth
public static final int MaxReachedDepth
Maximum depth reached during search.- See Also:
- Constant Field Values
-
-