A B C D E F G H I K L M N O P Q R S T U V W Z

## S

SatisfiableQuery - Class in fuzzydl
  Fuzzy concept satisfiability query.
SatisfiableQuery(Concept) - Constructor for class fuzzydl.SatisfiableQuery
  Constructor for a general satisfiability query.
SatisfiableQuery(Concept, Individual) - Constructor for class fuzzydl.SatisfiableQuery
  Constructor for a satisfiability query involving a specific individual.
saveToFile(String) - Method in class fuzzydl.KnowledgeBase
  Saves a fuzzy KB into a text file.
SELF - Static variable in class fuzzydl.Concept
  Self reflexivity concept.
self(String) - Static method in class fuzzydl.Concept
  Gets a new local reflexivity concept.
semantics - Static variable in class fuzzydl.KnowledgeBase
  Fuzzy logic.
setBinaryVariable() - Method in class fuzzydl.milp.Variable
  Makes the variable binary.
setBinaryVariables() - Method in class fuzzydl.milp.MILPHelper
  Transforms every [0,1]-variable into a {0,1} variable.
setConcreteIndividual() - Method in class fuzzydl.CreatedIndividual
  Sets that the individual is concrete.
setConstant(double) - Method in class fuzzydl.milp.Expression
  Sets a double constant to an expression.
setCrispConcept(Concept) - Method in class fuzzydl.KnowledgeBase
  Defines a concept to be crisp.
setCrispRole(String) - Method in class fuzzydl.KnowledgeBase
  Defines a role to be crisp.
setDatatypeFillerVariable() - Method in class fuzzydl.milp.Variable
  Makes the variable a datatypeFiller variable.
setDefinition(Concept) - Method in class fuzzydl.PrimitiveConceptDefinition
  Sets the definition.
setDegree(Degree) - Method in class fuzzydl.GeneralConceptInclusion
  Sets the lower bound for the degree.
setDegree(double) - Method in class fuzzydl.PrimitiveConceptDefinition
  Sets the degree.
setIndividual(Individual) - Method in class fuzzydl.Assertion
  Sets the individual of the assertion.
setInitialTime() - Method in class fuzzydl.Query
  Checks time just before the reasoning.
setK1(double) - Method in class fuzzydl.FuzzyConcreteConcept
  Sets the value of the parameter k1.
setK2(double) - Method in class fuzzydl.FuzzyConcreteConcept
  Sets the value of the parameter k2.
setLogic(FuzzyLogic) - Method in class fuzzydl.KnowledgeBase
  Sets the fuzzy logic of the fuzzy knowledge base.
setLowerLimit(Degree) - Method in class fuzzydl.Assertion
  Sets the lower bound degree.
setName(String) - Method in class fuzzydl.Concept
  Sets the name of the concept.
setName(String) - Method in class fuzzydl.milp.Variable
  Sets the name of the variable.
setName(String) - Method in class fuzzydl.Modifier
  Gets the name of the modifier.
setObjectIndividual(Individual) - Method in class fuzzydl.Relation
  Sets the object individual.
setRange(Object, Object) - Method in class fuzzydl.ConcreteFeature
  Sets the range of the feature.
setRange(double, double) - Static method in class fuzzydl.TriangularFuzzyNumber
  Sets the range of the fuzzy numbers.
setSubjectIndividual(Individual) - Method in class fuzzydl.Relation
  Sets the subject individual.
setSubsumed(Concept) - Method in class fuzzydl.GeneralConceptInclusion
  Sets the subsumed concept.
setSubsumer(Concept) - Method in class fuzzydl.GeneralConceptInclusion
  Sets the subsumer concept.
setTotalTime() - Method in class fuzzydl.Query
  Checks time just after the reasoning.
setType(int) - Method in class fuzzydl.Concept
  Sets the type of the concept.
setType(int) - Method in class fuzzydl.ConcreteFeature
  Sets the type of the feature.
setType(char) - Method in class fuzzydl.milp.Variable
  Sets the type of the variable.
setValue(Object) - Method in class fuzzydl.Concept
  Sets the value attribute.
SHOW_VERSION - Static variable in class fuzzydl.ConfigReader
  Show the version of the reasoner.
showAbstractRoleFillers(String, String) - Method in class fuzzydl.milp.ShowVariablesHelper
  Returns whether a given individuals is marked for showing every filler of an abstract role.
showConcepts(String) - Method in class fuzzydl.milp.ShowVariablesHelper
  Returns whether an atomic concept is marked to show the membership degree of every individual.
showConcreteFillers(String, String) - Method in class fuzzydl.milp.ShowVariablesHelper
  Returns whether a given individuals is marked for showing every filler of a concrete feature.
showIndividuals(String) - Method in class fuzzydl.milp.ShowVariablesHelper
  Gets whether an individual is marked to be shown or not.
showLanguage - Variable in class fuzzydl.KnowledgeBase
  Show the logic language to the user or not.
showVariable(Variable) - Method in class fuzzydl.milp.ShowVariablesHelper
  Shows the value of a variable.
ShowVariablesHelper - Class in fuzzydl.milp
  Manages variables shown to the user.
ShowVariablesHelper() - Constructor for class fuzzydl.milp.ShowVariablesHelper
showVars - Variable in class fuzzydl.milp.MILPHelper
  Manages displayed variables.
similarityRels - Variable in class fuzzydl.KnowledgeBase
  Similarity relations.
Solution - Class in fuzzydl.milp
  Solution to some query over a fuzzy KB.
Solution(boolean) - Constructor for class fuzzydl.milp.Solution
  Creates a new Solution, indicating whether the original KB is consistent.
Solution(double) - Constructor for class fuzzydl.milp.Solution
  Creates a new Solution, with the result of a query over a consistent KB.
solve(KnowledgeBase) - Method in class fuzzydl.AllInstancesQuery
solve(KnowledgeBase) - Method in class fuzzydl.BnpQuery
solve(KnowledgeBase) - Method in class fuzzydl.DefuzzifyQuery
solve(KnowledgeBase) - Method in class fuzzydl.KbSatisfiableQuery
solve(KnowledgeBase) - Method in class fuzzydl.MaxInstanceQuery
solve(KnowledgeBase) - Method in class fuzzydl.MaxQuery
solve(KnowledgeBase) - Method in class fuzzydl.MaxRelatedQuery
solve(KnowledgeBase) - Method in class fuzzydl.MaxSatisfiableQuery
solve(KnowledgeBase) - Method in class fuzzydl.MaxSubsumesQuery
solve(KnowledgeBase) - Method in class fuzzydl.MinInstanceQuery
solve(KnowledgeBase) - Method in class fuzzydl.MinQuery
solve(KnowledgeBase) - Method in class fuzzydl.MinRelatedQuery
solve(KnowledgeBase) - Method in class fuzzydl.MinSatisfiableQuery
solve(KnowledgeBase) - Method in class fuzzydl.MinSubsumesQuery
solve(KnowledgeBase) - Method in class fuzzydl.MomDefuzzifyQuery
solve(KnowledgeBase) - Method in class fuzzydl.Query
  Solves the query over a fuzzy KB.
solveAll(Relation, Restriction, KnowledgeBase) - Static method in class fuzzydl.ClassicalSolver
  Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
solveAll(Relation, Restriction, KnowledgeBase) - Static method in class fuzzydl.LukasiewiczSolver
  Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
solveAll(Relation, Restriction, KnowledgeBase) - Static method in class fuzzydl.ZadehSolver
  Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
solveAnd(Assertion, KnowledgeBase) - Static method in class fuzzydl.ClassicalSolver
  Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
solveAnd(Assertion, KnowledgeBase) - Static method in class fuzzydl.LukasiewiczSolver
  Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
solveAnd(Assertion, KnowledgeBase) - Static method in class fuzzydl.ZadehSolver
  Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
solveAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.ChoquetIntegral
  Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
solveAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.CrispConcreteConcept
solveAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.FuzzyConcreteConcept
  Solves an assertion of the form (individual, concept, degree) with respect to a fuzzy KB.
solveAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.LeftConcreteConcept
solveAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.LinearConcreteConcept
solveAssertion(Individual, Concept, Degree, KnowledgeBase) - Method in class fuzzydl.LinearModifier
solveAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.ModifiedConcept
  Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
solveAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.ModifiedConcreteConcept
solveAssertion(Individual, Concept, Degree, KnowledgeBase) - Method in class fuzzydl.Modifier
  Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
solveAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.OwaConcept
  Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
solveAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.RightConcreteConcept
solveAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.SugenoIntegral
  Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
solveAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.TrapezoidalConcreteConcept
solveAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.TriangularConcreteConcept
solveAssertion(Individual, Concept, Degree, KnowledgeBase) - Method in class fuzzydl.TriangularModifier
solveAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.WeightedMaxConcept
  Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
solveAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.WeightedMinConcept
  Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
solveAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.WeightedSumConcept
  Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
solveAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.WeightedSumZeroConcept
  Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
solveAssertions() - Method in class fuzzydl.KnowledgeBase
  Solves all the fuzzy assertions.
solveComplementAssertion(CreatedIndividual, Degree, KnowledgeBase) - Method in class fuzzydl.FuzzyConcreteConcept
  Solves an assertion of the form (individual, complement of the concept, degree) with respect to a fuzzy KB.
solveComplementAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.ModifiedConcept
  Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.
solveComplementAssertion(Individual, Concept, Degree, KnowledgeBase) - Method in class fuzzydl.Modifier
  Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.
solveComplementedAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.ChoquetIntegral
  Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
solveComplementedAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.OwaConcept
  Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
solveComplementedAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.SugenoIntegral
  Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
solveComplementedAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.WeightedMaxConcept
  Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
solveComplementedAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.WeightedMinConcept
  Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
solveComplementedAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.WeightedSumConcept
  Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
solveComplementedAssertion(Individual, KnowledgeBase) - Method in class fuzzydl.WeightedSumZeroConcept
  Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
solveKB() - Method in class fuzzydl.KnowledgeBase
  Prepares the fuzzy knowledge base to reason with it.
solveOr(Assertion, KnowledgeBase) - Static method in class fuzzydl.ClassicalSolver
  Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
solveOr(Assertion, KnowledgeBase) - Static method in class fuzzydl.LukasiewiczSolver
  Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
solveOr(Assertion, KnowledgeBase) - Static method in class fuzzydl.ZadehSolver
  Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
solveSome(Assertion, KnowledgeBase) - Static method in class fuzzydl.ClassicalSolver
  Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
solveSome(Assertion, KnowledgeBase) - Static method in class fuzzydl.LukasiewiczSolver
  Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
solveSome(Assertion, KnowledgeBase) - Static method in class fuzzydl.ZadehSolver
  Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
SomDefuzzifyQuery - Class in fuzzydl
  Smallest of maxima defuzzification query.
SomDefuzzifyQuery(Concept, Individual, String) - Constructor for class fuzzydl.SomDefuzzifyQuery
SOME - Static variable in class fuzzydl.Concept
  Existential restriction.
some(String, Concept) - Static method in class fuzzydl.Concept
  Gets a new existential restriction concept.
Start() - Method in class fuzzydl.parser.Parser
STRING - Static variable in class fuzzydl.ConcreteFeature
SUBSTRACTION - Static variable in class fuzzydl.FeatureFunction
  Substraction function.
SubsumptionQuery - Class in fuzzydl
  Subsumption query.
SubsumptionQuery(Concept, Concept, int) - Constructor for class fuzzydl.SubsumptionQuery
subtractExpressions(Expression, Expression) - Static method in class fuzzydl.milp.Expression
  Substracts two expressions.
subtractFromExpression(Expression) - Method in class fuzzydl.Degree
  Subtracts the degree to an expression.
subtractFromExpression(Expression) - Method in class fuzzydl.DegreeExpression
subtractFromExpression(Expression) - Method in class fuzzydl.DegreeNumeric
subtractFromExpression(Expression) - Method in class fuzzydl.DegreeVariable
SUGENO_INTEGRAL - Static variable in class fuzzydl.Concept
  Sugeno integral.
SugenoIntegral - Class in fuzzydl
  Sugeno integral concept.
SugenoIntegral(ArrayList<Double>, ArrayList<Concept>) - Constructor for class fuzzydl.SugenoIntegral
SUM - Static variable in class fuzzydl.FeatureFunction
  Sum function.

A B C D E F G H I K L M N O P Q R S T U V W Z