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

S

SatisfiableQuery - Class in fuzzydl

Fuzzy concept satisfiability query.

SatisfiableQuery() - Constructor for class fuzzydl.SatisfiableQuery

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.

SELF - Static variable in interface fuzzydl.parser.ParserConstants

RegularExpression Id.

setBound(Bound) - Method in class fuzzydl.milp.Variable

Gets the name of the variable.

setConcreteIndividual() - Method in class fuzzydl.CreatedIndividual

Sets that the individual is concrete.

setDebugStream(PrintStream) - Method in class fuzzydl.parser.ParserTokenManager

Set debug output.

setIndividual(Individual) - Method in class fuzzydl.Assertion

Sets the individual of the assertion.

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.

setName(String) - Method in class fuzzydl.Concept

Sets the name of the concept.

setName(String) - Method in class fuzzydl.Modifier

Gets the name of the modifier.

setObjectIndividual(Individual) - Method in class fuzzydl.Relation

Sets the object individual.

setObjective(Expression) - Method in class fuzzydl.milp.MILPHelper

States the objective to be MILP problem.

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.

setSolutionValue(double) - Method in class fuzzydl.milp.Variable

Sets the vulue of the variable.

setTabSize(int) - Method in class fuzzydl.parser.SimpleCharStream

setType(int) - Method in class fuzzydl.Concept

Gets the type of the concept.

setType(int) - Method in class fuzzydl.ConcreteFeature

Sets the type of the feature.

setValue(Object) - Method in class fuzzydl.Concept

Sets the value attribute.

SHOW_ABSTRACT_FILLER - Static variable in interface fuzzydl.parser.ParserConstants

RegularExpression Id.

SHOW_ABSTRACT_FILLER_FOR - Static variable in interface fuzzydl.parser.ParserConstants

RegularExpression Id.

SHOW_CONCEPTS - Static variable in interface fuzzydl.parser.ParserConstants

RegularExpression Id.

SHOW_CONCRETE_FILLER - Static variable in interface fuzzydl.parser.ParserConstants

RegularExpression Id.

SHOW_CONCRETE_FILLER_AND_LABELS - Static variable in interface fuzzydl.parser.ParserConstants

RegularExpression Id.

SHOW_CONCRETE_FILLER_FOR - Static variable in interface fuzzydl.parser.ParserConstants

RegularExpression Id.

SHOW_INSTANCES - Static variable in interface fuzzydl.parser.ParserConstants

RegularExpression Id.

SHOW_LANGUAGE - Static variable in interface fuzzydl.parser.ParserConstants

RegularExpression Id.

SHOW_VARIABLES - Static variable in interface fuzzydl.parser.ParserConstants

RegularExpression Id.

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

similarityRels - Variable in class fuzzydl.KnowledgeBase

Similarity relations.

SimpleCharStream - Class in fuzzydl.parser

An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).

SimpleCharStream(Reader, int, int, int) - Constructor for class fuzzydl.parser.SimpleCharStream

Constructor.

SimpleCharStream(Reader, int, int) - Constructor for class fuzzydl.parser.SimpleCharStream

Constructor.

SimpleCharStream(Reader) - Constructor for class fuzzydl.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String, int, int, int) - Constructor for class fuzzydl.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, int, int, int) - Constructor for class fuzzydl.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String, int, int) - Constructor for class fuzzydl.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, int, int) - Constructor for class fuzzydl.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String) - Constructor for class fuzzydl.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream) - Constructor for class fuzzydl.parser.SimpleCharStream

Constructor.

SINGLE_LINE_COMMENT - Static variable in interface fuzzydl.parser.ParserConstants

RegularExpression Id.

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.BnpQuery

solve(KnowledgeBase) - Method in class fuzzydl.DefuzzifyQuery

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(Individual, 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, Degree, KnowledgeBase) - Method in class fuzzydl.CrispConcreteConcept

solveAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.FuzzyConcreteConcept

Solves an assertion of the form (individual, concept, degree) with respect to a fuzzy KB.

solveAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.LeftConcreteConcept

solveAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.LinearlyModifiedConcept

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(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.RightConcreteConcept

solveAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.TrapezoidalConcreteConcept

solveAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.TriangularConcreteConcept

solveAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.TriangularlyModifiedConcept

solveAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.WeightedSumConcept

Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.

solveComplementAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.CrispConcreteConcept

solveComplementAssertion(Individual, 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.LeftConcreteConcept

solveComplementAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.LinearlyModifiedConcept

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, Degree, KnowledgeBase) - Method in class fuzzydl.RightConcreteConcept

solveComplementAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.TrapezoidalConcreteConcept

solveComplementAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.TriangularConcreteConcept

solveComplementAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.TriangularlyModifiedConcept

solveComplementAssertion(Individual, Degree, KnowledgeBase) - Method in class fuzzydl.WeightedSumConcept

Solves an assertion of the form (individual, negated concept, lower degree) 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.

solveRelationRestriction(Relation, Restriction, KnowledgeBase) - Method in class fuzzydl.Individual

Apply a universal restriction to a relation of the individual.

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.

SOM_DEFUZZIFY_QUERY - Static variable in interface fuzzydl.parser.ParserConstants

RegularExpression Id.

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.

SOME - Static variable in interface fuzzydl.parser.ParserConstants

RegularExpression Id.

specialToken - Variable in class fuzzydl.parser.Token

This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.

STAR - Static variable in interface fuzzydl.parser.ParserConstants

RegularExpression Id.

Start() - Method in class fuzzydl.parser.Parser

staticFlag - Static variable in class fuzzydl.parser.SimpleCharStream

Whether parser is static.

STRING - Static variable in class fuzzydl.ConcreteFeature

STRING_TYPE - Static variable in interface fuzzydl.parser.ParserConstants

RegularExpression Id.

StringType() - Method in class fuzzydl.parser.Parser

Gets a fuzzyDL representation of the type "string" for the range of concrete features

SUBSTRACTION - Static variable in class fuzzydl.FeatureFunction

Substraction function.

SubsumptionQuery - Class in fuzzydl

SubsumptionQuery() - 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

SUM - Static variable in class fuzzydl.FeatureFunction

Sum function.

SwitchTo(int) - Method in class fuzzydl.parser.ParserTokenManager

Switch to specified lex state.

SYMMETRIC - Static variable in interface fuzzydl.parser.ParserConstants

RegularExpression Id.