diff options
author | Joseph Powers <jpowers27@cox.net> | 2010-11-24 15:28:22 -0800 |
---|---|---|
committer | Joseph Powers <jpowers27@cox.net> | 2010-11-24 15:28:22 -0800 |
commit | 4de0f42209aadddfab57d33efa07e267e4dbf0f4 (patch) | |
tree | 0185a879b08decac7f87b098d3e336e1e96b22fa /sccomp/source | |
parent | 05e3d1a1575d7851f2801f7e06afd2abd4476083 (diff) |
.src cleanup
Diffstat (limited to 'sccomp/source')
-rw-r--r-- | sccomp/source/solver/solver.src | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/sccomp/source/solver/solver.src b/sccomp/source/solver/solver.src index ff353bc4db9e..39664c4e22d5 100644 --- a/sccomp/source/solver/solver.src +++ b/sccomp/source/solver/solver.src @@ -36,18 +36,22 @@ String RID_PROPERTY_NONNEGATIVE { Text [ en-US ] = "Assume variables as non-negative"; }; + String RID_PROPERTY_INTEGER { Text [ en-US ] = "Assume variables as integer"; }; + String RID_PROPERTY_TIMEOUT { Text [ en-US ] = "Solving time limit (seconds)"; }; + String RID_PROPERTY_EPSILONLEVEL { Text [ en-US ] = "Epsilon level (0-3)"; }; + String RID_PROPERTY_LIMITBBDEPTH { Text [ en-US ] = "Limit branch-and-bound depth"; @@ -57,20 +61,23 @@ String RID_ERROR_NONLINEAR { Text [ en-US ] = "The model is not linear."; }; + String RID_ERROR_EPSILONLEVEL { Text [ en-US ] = "The epsilon level is invalid."; }; + String RID_ERROR_INFEASIBLE { Text [ en-US ] = "The model is infeasible. Check limiting conditions."; }; + String RID_ERROR_UNBOUNDED { Text [ en-US ] = "The model is unbounded."; }; + String RID_ERROR_TIMEOUT { Text [ en-US ] = "The time limit was reached."; }; - |