|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Sentence | |
---|---|
de.uni_tuebingen.sfb.lichtenstein.binarytrees | |
de.uni_tuebingen.sfb.lichtenstein.UI |
Uses of Sentence in de.uni_tuebingen.sfb.lichtenstein.binarytrees |
---|
Methods in de.uni_tuebingen.sfb.lichtenstein.binarytrees that return types with arguments of type Sentence | |
---|---|
List<Sentence> |
Query.query()
Perform the query. |
Uses of Sentence in de.uni_tuebingen.sfb.lichtenstein.UI |
---|
Constructor parameters in de.uni_tuebingen.sfb.lichtenstein.UI with type arguments of type Sentence | |
---|---|
ResultView(List<Sentence> results,
Formula query,
Action quitAction)
Initialize a new result view with the given results. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |