## Uses of Class
fuzzydl.Concept

- Packages that use Concept
  Package | Description
  --- | ---
  fuzzydl |
  fuzzydl.milp |
  fuzzydl.util |

- - ### Uses of Concept in fuzzydl

    Subclasses of Concept in fuzzydl
    Modifier and Type | Class and Description
    --- | ---
    `class` | `ChoquetIntegral` Choquet integral concept.
    `class` | `CrispConcreteConcept` Concrete concept defined with a crisp interval.
    `class` | `FuzzyConcreteConcept` Fuzzy concrete concept defined with an explicit membership function.
    `class` | `LeftConcreteConcept` Fuzzy concrete concept defined with a left shoulder function.
    `class` | `LinearConcreteConcept` Fuzzy concrete concept defined with a left shoulder function.
    `class` | `LinearlyModifiedConcept` Fuzzy concept modified with a linear modifier.
    `class` | `ModifiedConcept` Modified fuzzy concept.
    `class` | `ModifiedConcreteConcept` Concrete concept defined with a crisp interval.
    `class` | `NegatedNominal` Negated nominal concept.
    `class` | `OwaConcept` OWA concept.
    `class` | `QowaConcept` Quantified-guided OWA concept.
    `class` | `QsugenoIntegral` Quasi Sugeno integral concept.
    `class` | `RightConcreteConcept` Fuzzy concrete concept defined with a right shoulder function.
    `class` | `SugenoIntegral` Sugeno integral concept.
    `class` | `TrapezoidalConcreteConcept` Fuzzy concrete concept defined with a trapezoidal function.
    `class` | `TriangularConcreteConcept` Fuzzy concrete concept defined with a triangular function.
    `class` | `TriangularFuzzyNumber` Fuzzy number defined with a triangular function.
    `class` | `TriangularlyModifiedConcept` Fuzzy concept modified with a triangular modifier.
    `class` | `WeightedMaxConcept` Weighted sum concept.
    `class` | `WeightedMinConcept` Weighted sum concept.
    `class` | `WeightedSumConcept` Weighted sum concept.
    `class` | `WeightedSumZeroConcept` Weighted sum zero concept.

    Fields in fuzzydl declared as Concept
    Modifier and Type | Field and Description
    --- | ---
    `static Concept` | Concept.`CONCEPT_BOTTOM` Gets a bottom concept.
    `static Concept` | Concept.`CONCEPT_TOP` Gets a top concept.

    Fields in fuzzydl with type parameters of type Concept
    Modifier and Type | Field and Description
    --- | ---
    `java.util.Hashtable<java.lang.String,Concept>` | KnowledgeBase.`atomicConcepts` Fuzzy concepts.

    Methods in fuzzydl that return Concept
    Modifier and Type | Method and Description
    --- | ---
    `Concept` | KnowledgeBase.`addDatatypeRestriction(int restrictionType, java.lang.Object o, java.lang.String fName)` Adds a datatype restriction of the form (restrictionType, fName, o).
    `static Concept` | Concept.`all(java.lang.String role, Concept c)` Gets a new universal restriction concept.
    `static Concept` | Concept.`and(java.util.ArrayList<Concept> v)` Gets a new n-ary conjunction concept.
    `static Concept` | Concept.`and(Concept c1, Concept c2)` Gets a new binary conjunction concept.
    `static Concept` | Concept.`atLeastValue(java.lang.String role, java.lang.Object o)` Gets a new at-least datatype restriction concept.
    `static Concept` | Concept.`atMostValue(java.lang.String role, java.lang.Object o)` Gets a new at-most datatype restriction concept.
    `Concept` | LinearlyModifiedConcept.`complement()`
    `Concept` | QsugenoIntegral.`complement()` Gets the complement of the concept.
    `Concept` | TrapezoidalConcreteConcept.`complement()`
    `Concept` | TriangularConcreteConcept.`complement()`
    `Concept` | WeightedSumZeroConcept.`complement()` Gets the complement of the concept.
    `Concept` | RightConcreteConcept.`complement()`
    `abstract Concept` | ModifiedConcept.`complement()` Gets the complement of the concept.
    `Concept` | WeightedMinConcept.`complement()` Gets the complement of the concept.
    `Concept` | OwaConcept.`complement()` Gets the complement of the concept.
    `Concept` | SugenoIntegral.`complement()` Gets the complement of the concept.
    `Concept` | WeightedSumConcept.`complement()` Gets the complement of the concept.
    `Concept` | WeightedMaxConcept.`complement()` Gets the complement of the concept.
    `Concept` | LeftConcreteConcept.`complement()`
    `Concept` | QowaConcept.`complement()` Gets the complement of the concept.
    `Concept` | TriangularlyModifiedConcept.`complement()`
    `Concept` | ChoquetIntegral.`complement()` Gets the complement of the concept.
    `Concept` | NegatedNominal.`complement()` Gets the complement of the concept.
    `Concept` | LinearConcreteConcept.`complement()`
    `Concept` | ModifiedConcreteConcept.`complement()`
    `Concept` | CrispConcreteConcept.`complement()`
    `Concept` | TriangularFuzzyNumber.`complement()`
    `abstract Concept` | FuzzyConcreteConcept.`complement()` Gets the complement of the concept.
    `static Concept` | Concept.`complement(Concept c)` Gets the complement of the concept.
    `static Concept` | Concept.`exactValue(java.lang.String role, java.lang.Object o)` Gets a new exact datatype restriction concept.
    `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 Concept` | Concept.`gAnd(java.util.ArrayList<Concept> v)` Gets a new n-ary conjunction concept under Goedel semantics.
    `static Concept` | Concept.`gAnd(Concept c1, Concept c2)` Gets a new binary conjunction concept under Goedel semantics.
    `Concept` | ConceptEquivalence.`getC1()` Gets the first concept.
    `Concept` | ConceptEquivalence.`getC2()` Gets the second concept.
    `Concept` | Restriction.`getConcept()` Gets the fuzzy concept.
    `Concept` | Assertion.`getConcept()` Gets the concept.
    `Concept` | KnowledgeBase.`getConcept(java.lang.String name)` Gets a concept with indicated name.
    `Concept` | PrimitiveConceptDefinition.`getDefinition()` Gets the definition.
    `Concept` | GeneralConceptInclusion.`getSubsumed()` Gets the subsumed concept.
    `Concept` | GeneralConceptInclusion.`getSubsumer()` Gets the subsumer concept.
    `static Concept` | Concept.`gImplies(Concept c1, Concept c2)` Gets a new implication concept under Goedel semantics.
    `static Concept` | Concept.`gOr(java.util.ArrayList<Concept> v)` Gets a new n-ary disjunction concept under Goedel semantics.
    `static Concept` | Concept.`gOr(Concept c1, Concept c2)` Gets a new binary disjunction concept under Goedel semantics.
    `static Concept` | Concept.`hasValue(java.lang.String role, Individual i)` Gets a new has value restriction concept.
    `static Concept` | Concept.`hasValue(java.lang.String role, java.lang.String i)` Gets a new has value restriction concept.
    `static Concept` | Concept.`kdImplies(Concept c1, Concept c2)` Gets a new implication concept under Kleene-Dienes semantics.
    `static Concept` | Concept.`lAnd(java.util.ArrayList<Concept> v)` Gets a new n-ary conjunction concept under Lukasiewicz semantics.
    `static Concept` | Concept.`lAnd(Concept c1, Concept c2)` Gets a new binary conjunction concept under Lukasiewicz semantics.
    `static Concept` | Concept.`lImplies(Concept c1, Concept c2)` Gets a new implication concept under Lukasiewicz semantics.
    `static Concept` | Concept.`looseLowerApprox(java.lang.String role, Concept c)` Gets a new loose lower fuzzy rough concept.
    `static Concept` | Concept.`looseUpperApprox(java.lang.String role, Concept c)` Gets a new loose upper fuzzy rough concept.
    `static Concept` | Concept.`lOr(java.util.ArrayList<Concept> v)` Gets a new n-ary disjunction concept under Lukasiewicz semantics.
    `static Concept` | Concept.`lOr(Concept c1, Concept c2)` Gets a new binary disjunction concept under Lukasiewicz semantics.
    `static Concept` | Concept.`lowerApprox(java.lang.String role, Concept c)` Gets a new lower fuzzy rough concept.
    `Concept` | TriangularModifier.`modify(Concept c)`
    `Concept` | LinearModifier.`modify(Concept c)`
    `abstract Concept` | Modifier.`modify(Concept c)` Modifies a fuzzy concept
    `static Concept` | Concept.`nAry(int type, java.util.ArrayList<Concept> v)` Gets a new n-ary concept.
    `static Concept` | Concept.`negThreshold(double w, Concept c)` Gets a new negative threshold concept.
    `static Concept` | Concept.`newAtomicConcept()` Gets a new atomic concept.
    `static Concept` | Concept.`notHasValue(java.lang.String role, java.lang.String i)` Gets a new negated has value restriction concept.
    `static Concept` | Concept.`or(java.util.ArrayList<Concept> v)` Gets a new n-ary disjunction concept.
    `static Concept` | Concept.`or(Concept c1, Concept c2)` Gets a new binary disjunction concept.
    `static Concept` | Concept.`posThreshold(double w, Concept c)` Gets a new positive threshold concept.
    `Concept` | LinearlyModifiedConcept.`replace(Concept a, Concept c)`
    `Concept` | QsugenoIntegral.`replace(Concept a, Concept c)`
    `Concept` | WeightedSumZeroConcept.`replace(Concept a, Concept c)`
    `abstract Concept` | ModifiedConcept.`replace(Concept a, Concept c)`
    `Concept` | WeightedMinConcept.`replace(Concept a, Concept c)`
    `Concept` | OwaConcept.`replace(Concept a, Concept c)`
    `Concept` | SugenoIntegral.`replace(Concept a, Concept c)`
    `Concept` | WeightedSumConcept.`replace(Concept a, Concept c)`
    `Concept` | WeightedMaxConcept.`replace(Concept a, Concept c)`
    `Concept` | QowaConcept.`replace(Concept a, Concept c)`
    `Concept` | TriangularlyModifiedConcept.`replace(Concept a, Concept c)`
    `Concept` | ChoquetIntegral.`replace(Concept a, Concept c)`
    `Concept` | Concept.`replace(Concept a, Concept c)` Gets a new concept by replacing an atomic concept a with a complex concept c.
    `static Concept` | Concept.`self(java.lang.String role)` Gets a new local reflexivity concept.
    `static Concept` | Concept.`some(java.lang.String role, Concept c)` Gets a new existential restriction concept.
    `static Concept` | Concept.`tightLowerApprox(java.lang.String role, Concept c)` Gets a new tight lower fuzzy rough concept.
    `static Concept` | Concept.`tightUpperApprox(java.lang.String role, Concept c)` Gets a new tight upper fuzzy rough concept.
    `static Concept` | Concept.`upperApprox(java.lang.String role, Concept c)` Gets a new upper fuzzy rough concept.
    `static Concept` | Concept.`weightedConcept(double w, Concept c)` Gets a new weighted concept.
    `static Concept` | Concept.`zImplies(Concept c1, Concept c2)` Gets a new implication concept under Zadeh semantics.

    Methods in fuzzydl that return types with arguments of type Concept
    Modifier and Type | Method and Description
    --- | ---
    `java.util.HashSet<Concept>` | WeightedSumZeroConcept.`computeAtomicConcepts()`
    `java.util.HashSet<Concept>` | WeightedMinConcept.`computeAtomicConcepts()`
    `java.util.HashSet<Concept>` | OwaConcept.`computeAtomicConcepts()`
    `java.util.HashSet<Concept>` | SugenoIntegral.`computeAtomicConcepts()`
    `java.util.HashSet<Concept>` | WeightedSumConcept.`computeAtomicConcepts()`
    `java.util.HashSet<Concept>` | WeightedMaxConcept.`computeAtomicConcepts()`
    `java.util.HashSet<Concept>` | ChoquetIntegral.`computeAtomicConcepts()`
    `java.util.HashSet<Concept>` | Concept.`getAtomicConcepts()`

    Methods in fuzzydl with parameters of type Concept
    Modifier and Type | Method and Description
    --- | ---
    `void` | KnowledgeBase.`addAssertion(Individual a, Concept c, Degree n)` Adds a fuzzy assertion of the form (a : C >= n )
    `void` | KnowledgeBase.`addConceptsDisjoint(Concept c, Concept d)`
    `static Concept` | Concept.`all(java.lang.String role, Concept c)` Gets a new universal restriction concept.
    `static Concept` | Concept.`and(Concept c1, Concept c2)` Gets a new binary conjunction concept.
    `void` | KnowledgeBase.`checkRole(java.lang.String roleName, Concept conc)` Checks the disjointness between abstract and concrete roles.
    `static Concept` | Concept.`complement(Concept c)` Gets the complement of the concept.
    `static int` | Concept.`containsNegatedSubconcept(java.util.ArrayList<Concept> v, Concept cj)`
    `static boolean` | Concept.`containsSubconcept(java.util.ArrayList<Concept> v, Concept cj)`
    `void` | KnowledgeBase.`defineAtomicConcept(java.lang.String conceptName, Concept conc, int implication, double n)` Adds an atomic fuzzy concept definition.
    `void` | KnowledgeBase.`defineConcept(java.lang.String conceptName, Concept conc)` Adds a fuzzy concept definition.
    `void` | KnowledgeBase.`defineEquivalentConcepts(Concept c1, Concept c2)` Adds a concept equivalence axiom.
    `boolean` | Concept.`equals(Concept c)`
    `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 Concept` | Concept.`gAnd(Concept c1, Concept c2)` Gets a new binary conjunction concept under Goedel semantics.
    `static Concept` | Concept.`gImplies(Concept c1, Concept c2)` Gets a new implication concept under Goedel semantics.
    `void` | KnowledgeBase.`gImplies(Concept conc1, Concept conc2, Degree degree)` Adds a Goedel General Concept Inclusion.
    `static Concept` | Concept.`gOr(Concept c1, Concept c2)` Gets a new binary disjunction concept under Goedel semantics.
    `void` | KnowledgeBase.`implies(Concept conc1, Concept conc2, Degree degree)` Adds a General Concept Inclusion (conc1, conc2, degree)
    `static Concept` | Concept.`kdImplies(Concept c1, Concept c2)` Gets a new implication concept under Kleene-Dienes semantics.
    `void` | KnowledgeBase.`kdImplies(Concept conc1, Concept conc2, Degree degree)` Adds a Kleene-Dienes General Concept Inclusion.
    `static Concept` | Concept.`lAnd(Concept c1, Concept c2)` Gets a new binary conjunction concept under Lukasiewicz semantics.
    `static Concept` | Concept.`lImplies(Concept c1, Concept c2)` Gets a new implication concept under Lukasiewicz semantics.
    `void` | KnowledgeBase.`lImplies(Concept conc1, Concept conc2, Degree degree)` Adds a Lukasiewicz General Concept Inclusion.
    `static Concept` | Concept.`looseLowerApprox(java.lang.String role, Concept c)` Gets a new loose lower fuzzy rough concept.
    `static Concept` | Concept.`looseUpperApprox(java.lang.String role, Concept c)` Gets a new loose upper fuzzy rough concept.
    `static Concept` | Concept.`lOr(Concept c1, Concept c2)` Gets a new binary disjunction concept under Lukasiewicz semantics.
    `static Concept` | Concept.`lowerApprox(java.lang.String role, Concept c)` Gets a new lower fuzzy rough concept.
    `Concept` | TriangularModifier.`modify(Concept c)`
    `Concept` | LinearModifier.`modify(Concept c)`
    `abstract Concept` | Modifier.`modify(Concept c)` Modifies a fuzzy concept
    `static Concept` | Concept.`negThreshold(double w, Concept c)` Gets a new negative threshold concept.
    `static Concept` | Concept.`or(Concept c1, Concept c2)` Gets a new binary disjunction concept.
    `static Concept` | Concept.`posThreshold(double w, Concept c)` Gets a new positive threshold concept.
    `Concept` | LinearlyModifiedConcept.`replace(Concept a, Concept c)`
    `Concept` | QsugenoIntegral.`replace(Concept a, Concept c)`
    `Concept` | WeightedSumZeroConcept.`replace(Concept a, Concept c)`
    `abstract Concept` | ModifiedConcept.`replace(Concept a, Concept c)`
    `Concept` | WeightedMinConcept.`replace(Concept a, Concept c)`
    `Concept` | OwaConcept.`replace(Concept a, Concept c)`
    `Concept` | SugenoIntegral.`replace(Concept a, Concept c)`
    `Concept` | WeightedSumConcept.`replace(Concept a, Concept c)`
    `Concept` | WeightedMaxConcept.`replace(Concept a, Concept c)`
    `Concept` | QowaConcept.`replace(Concept a, Concept c)`
    `Concept` | TriangularlyModifiedConcept.`replace(Concept a, Concept c)`
    `Concept` | ChoquetIntegral.`replace(Concept a, Concept c)`
    `Concept` | Concept.`replace(Concept a, Concept c)` Gets a new concept by replacing an atomic concept a with a complex concept c.
    `void` | KnowledgeBase.`roleDomain(java.lang.String role, Concept conc)` Adds a domain funcRole axiom.
    `void` | KnowledgeBase.`roleRange(java.lang.String role, Concept conc)` Adds a funcRole range axiom.
    `void` | KnowledgeBase.`setCrispConcept(Concept c)` Defines a concept to be crisp.
    `void` | PrimitiveConceptDefinition.`setDefinition(Concept definition)` Sets the definition.
    `void` | GeneralConceptInclusion.`setSubsumed(Concept newConcept)` Sets the subsumed concept.
    `void` | GeneralConceptInclusion.`setSubsumer(Concept newConcept)` Sets the subsumer concept.
    `void` | TriangularModifier.`solveAssertion(Individual ind, Concept con, Degree lowerLimit, KnowledgeBase kb)`
    `void` | LinearModifier.`solveAssertion(Individual ind, Concept con, Degree lowerLimit, KnowledgeBase kb)`
    `abstract void` | Modifier.`solveAssertion(Individual ind, Concept con, Degree degree, KnowledgeBase kb)` Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
    `void` | Modifier.`solveComplementAssertion(Individual ind, Concept con, Degree degree, KnowledgeBase kb)` Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.
    `static Concept` | Concept.`some(java.lang.String role, Concept c)` Gets a new existential restriction concept.
    `static Concept` | Concept.`tightLowerApprox(java.lang.String role, Concept c)` Gets a new tight lower fuzzy rough concept.
    `static Concept` | Concept.`tightUpperApprox(java.lang.String role, Concept c)` Gets a new tight upper fuzzy rough concept.
    `static Concept` | Concept.`upperApprox(java.lang.String role, Concept c)` Gets a new upper fuzzy rough concept.
    `static Concept` | Concept.`weightedConcept(double w, Concept c)` Gets a new weighted concept.
    `void` | KnowledgeBase.`zImplies(Concept conc1, Concept conc2)` Adds a Zadeh General Concept Inclusion.
    `static Concept` | Concept.`zImplies(Concept c1, Concept c2)` Gets a new implication concept under Zadeh semantics.

    Method parameters in fuzzydl with type arguments of type Concept
    Modifier and Type | Method and Description
    --- | ---
    `void` | KnowledgeBase.`addConceptsDisjoint(java.util.ArrayList<Concept> disjointConcepts)` Adds some disjoint concept axioms.
    `void` | KnowledgeBase.`addEquivalentConcepts(java.util.ArrayList<Concept> equivConcepts)` Adds some equivalent concept axioms.
    `static Concept` | Concept.`and(java.util.ArrayList<Concept> v)` Gets a new n-ary conjunction concept.
    `static int` | Concept.`containsNegatedSubconcept(java.util.ArrayList<Concept> v, Concept cj)`
    `static boolean` | Concept.`containsSubconcept(java.util.ArrayList<Concept> v, Concept cj)`
    `static Concept` | Concept.`gAnd(java.util.ArrayList<Concept> v)` Gets a new n-ary conjunction concept under Goedel semantics.
    `static Concept` | Concept.`gOr(java.util.ArrayList<Concept> v)` Gets a new n-ary disjunction concept under Goedel semantics.
    `static Concept` | Concept.`lAnd(java.util.ArrayList<Concept> v)` Gets a new n-ary conjunction concept under Lukasiewicz semantics.
    `static Concept` | Concept.`lOr(java.util.ArrayList<Concept> v)` Gets a new n-ary disjunction concept under Lukasiewicz semantics.
    `static Concept` | Concept.`nAry(int type, java.util.ArrayList<Concept> v)` Gets a new n-ary concept.
    `static Concept` | Concept.`or(java.util.ArrayList<Concept> v)` Gets a new n-ary disjunction concept.
    `static void` | Concept.`removeElement(java.util.ArrayList<Concept> v, int i)`

    Constructors in fuzzydl with parameters of type Concept
    Constructor and Description
    `AllInstancesQuery(Concept concept)`
    `Assertion(Individual a, Concept c, Degree l)`
    `AtomicAssertion(Concept c, Degree degree)`
    `ConceptEquivalence(Concept c1, Concept c2)`
    `DefuzzifyQuery(Concept c, Individual ind, java.lang.String featureName)`
    `DomainAxiom(java.lang.String role, Concept concept)`
    `GeneralConceptInclusion(Concept subsumer, Concept subsumed, Degree degree, int type)`
    `InstanceQuery(Concept concept, Individual individual)`
    `Label(Concept concept, Degree weight)`
    `LinearlyModifiedConcept(Concept c, Modifier mod)`
    `LomDefuzzifyQuery(Concept c, Individual ind, java.lang.String featureName)`
    `MaxInstanceQuery(Concept concept, Individual individual)`
    `MaxSatisfiableQuery(Concept c)` Constructor for a general satisfiability query.
    `MaxSatisfiableQuery(Concept c, Individual a)` Constructor for a satisfiability query involving a specific individual.
    `MaxSubsumesQuery(Concept c1, Concept c2, int type)`
    `MinInstanceQuery(Concept concept, Individual individual)`
    `MinSatisfiableQuery(Concept c)` Constructor for a general satisfiability query.
    `MinSatisfiableQuery(Concept c, Individual a)` Constructor for a satisfiability query involving a specific individual.
    `MinSubsumesQuery(Concept c1, Concept c2, int type)`
    `ModifiedConcept(Concept c, Modifier mod)`
    `MomDefuzzifyQuery(Concept c, Individual ind, java.lang.String featureName)`
    `PrimitiveConceptDefinition(java.lang.String defined, Concept definition, int implication, double degree)`
    `RangeAxiom(java.lang.String role, Concept concept)`
    `Restriction(java.lang.String roleName, Concept concept, Degree degree)`
    `SatisfiableQuery(Concept c)` Constructor for a general satisfiability query.
    `SatisfiableQuery(Concept c, Individual a)` Constructor for a satisfiability query involving a specific individual.
    `SomDefuzzifyQuery(Concept c, Individual ind, java.lang.String fName)`
    `SubsumptionQuery(Concept c1, Concept c2, int type)`
    `TriangularlyModifiedConcept(Concept c, Modifier mod)`

    Constructor parameters in fuzzydl with type arguments of type Concept
    Constructor and Description
    `ChoquetIntegral(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)`
    `OwaConcept(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)`
    `QowaConcept(FuzzyConcreteConcept quantifier, java.util.ArrayList<Concept> concepts)`
    `QsugenoIntegral(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)`
    `SugenoIntegral(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)`
    `WeightedMaxConcept(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)`
    `WeightedMinConcept(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)`
    `WeightedSumConcept(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)`
    `WeightedSumZeroConcept(java.util.ArrayList<java.lang.Double> weights, java.util.ArrayList<Concept> concepts)`

  - ### Uses of Concept in fuzzydl.milp

    Methods in fuzzydl.milp with parameters of type Concept
    Modifier and Type | Method and Description
    --- | ---
    `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.

  - ### Uses of Concept in fuzzydl.util

    Method parameters in fuzzydl.util with type arguments of type Concept
    Modifier and Type | Method and Description
    --- | ---
    `static void` | Util.`order(java.util.ArrayList<Concept> v)` Order a vector of concepts.