fuzzydl
Class SatisfiableQuery

java.lang.Object
  fuzzydl.Query
      fuzzydl.SatisfiableQuery

Direct Known Subclasses:

MaxSatisfiableQuery, MinSatisfiableQuery

public abstract class SatisfiableQuery
extends Query

Fuzzy concept satisfiability query.

Field Summary

protected Concept	conc Fuzzy concept.
protected Individual	ind Optional individual used during the satisfiability test.
protected Expression	objExpr Objective expression.

Constructor Summary

SatisfiableQuery()

Method Summary

Methods inherited from class fuzzydl.Query

preprocess, solve

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

conc

protected Concept conc

Fuzzy concept.

objExpr

protected Expression objExpr

Objective expression.

ind

protected Individual ind

Optional individual used during the satisfiability test.

Constructor Detail

SatisfiableQuery

public SatisfiableQuery()