Package | Description |
---|---|
fuzzydl | |
fuzzydl.milp |
Modifier and Type | Method and Description |
---|---|
Variable |
DegreeVariable.getVariable()
Gets the variable which defines the degree.
|
Variable |
Concept.getWeightVar()
Gets the weight variable;
|
Modifier and Type | Method and Description |
---|---|
void |
KnowledgeBase.commonRuleThreshold(Variable xAinC,
Variable xAinTc,
Variable y) |
static Concept |
Concept.extendedNegThreshold(Variable w,
Concept c)
Gets a new extended negative threshold concept.
|
static Concept |
Concept.extendedPosThreshold(Variable w,
Concept c)
Gets a new extended positive threshold concept.
|
static Degree |
Degree.getDegree(Variable variable)
Constructor for a variable degree.
|
Expression |
SomDefuzzifyQuery.getObjExpression(Variable q) |
Expression |
MomDefuzzifyQuery.getObjExpression(Variable q) |
Expression |
LomDefuzzifyQuery.getObjExpression(Variable q) |
abstract Expression |
DefuzzifyQuery.getObjExpression(Variable q)
Gets the objective expression.
|
static void |
ZadehSolver.orEquation(java.util.Vector<Variable> x,
Variable z,
MILPHelper milp) |
Modifier and Type | Method and Description |
---|---|
static void |
ZadehSolver.orEquation(java.util.Vector<Variable> x,
Variable z,
MILPHelper milp) |
Modifier and Type | Method and Description |
---|---|
static Variable |
Variable.getNewVariable(char type)
Gets a new variable.
|
Variable |
MILPHelper.getNewVariable(char type)
Gets a new variable with the indicated type.
|
Variable[] |
MILPHelper.getOrderedPermutation(Variable[] x) |
Variable[] |
MILPHelper.getOrderedPermutation(Variable[] x,
Variable[][] z)
Gets an ordered permutation of the variables.
|
Variable |
Term.getVar()
Gets the variable of the term.
|
Variable |
MILPHelper.getVariable(Assertion ass)
Gets a variable taking the value of a concept assertion, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
|
Variable |
MILPHelper.getVariable(CreatedIndividual ind)
Gets a variable taking the value of a concrete individual.
|
Variable |
MILPHelper.getVariable(CreatedIndividual ind,
char bound)
Gets a variable taking the value of a concrete individual.
|
Variable |
MILPHelper.getVariable(Individual ind,
Concept c)
Gets a variable taking the value of a concept assertion, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
|
Variable |
MILPHelper.getVariable(Individual a,
Individual b,
java.lang.String role)
Gets a variable taking the value of a role assertion, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
|
Variable |
MILPHelper.getVariable(Individual a,
Individual b,
java.lang.String role,
char type)
Gets a variable taking the value of a role assertion, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
|
Variable |
MILPHelper.getVariable(Individual ind,
Restriction restric)
Gets a variable taking the value of a universal restriction, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
|
Variable |
MILPHelper.getVariable(Individual ind,
java.lang.String conceptName)
Gets a variable taking the value of a concept assertion, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
|
Variable |
MILPHelper.getVariable(Relation rel)
Gets a variable taking the value of a role assertion, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
|
Variable |
MILPHelper.getVariable(java.lang.String name)
Gets a variable with the given name, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
|
Variable |
MILPHelper.getVariable(java.lang.String varName,
char type)
Gets a variable with the indicated bound.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Variable> |
ShowVariablesHelper.getVariables()
Gets the variables to be shown.
|
Modifier and Type | Method and Description |
---|---|
void |
MILPHelper.addEquality(Variable var1,
Variable var2)
Add an equality of the form: var1 = var2.
|
void |
MILPHelper.addNewConstraint(Variable x,
Degree D)
Add an inequality of the form: x >= D.
|
void |
MILPHelper.addNewConstraint(Variable x,
double n)
Adds a new inequality of the form: x >= n.
|
void |
ShowVariablesHelper.addVariable(Variable var,
java.lang.String nameToShow)
Add a variable to shown, showing it with a given name.
|
double |
Expression.getConstantTerm(Variable var)
Given a variable, gets its coefficient in the expression.
|
java.lang.String |
ShowVariablesHelper.getName(Variable var)
Gets the name of a variable.
|
Variable[] |
MILPHelper.getOrderedPermutation(Variable[] x) |
Variable[] |
MILPHelper.getOrderedPermutation(Variable[] x,
Variable[][] z)
Gets an ordered permutation of the variables.
|
Variable[] |
MILPHelper.getOrderedPermutation(Variable[] x,
Variable[][] z)
Gets an ordered permutation of the variables.
|
boolean |
ShowVariablesHelper.showVariable(Variable var)
Shows the value of a variable.
|
Constructor and Description |
---|
Term(double coeff,
Variable var) |
Constructor and Description |
---|
Expression(java.util.Vector<Variable> v) |