summaryrefslogtreecommitdiff
path: root/sccomp
diff options
context:
space:
mode:
authorJoseph Powers <jpowers27@cox.net>2010-11-24 15:28:22 -0800
committerJoseph Powers <jpowers27@cox.net>2010-11-24 15:28:22 -0800
commit4de0f42209aadddfab57d33efa07e267e4dbf0f4 (patch)
tree0185a879b08decac7f87b098d3e336e1e96b22fa /sccomp
parent05e3d1a1575d7851f2801f7e06afd2abd4476083 (diff)
.src cleanup
Diffstat (limited to 'sccomp')
-rw-r--r--sccomp/source/solver/solver.src9
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.";
};
-