2018-02-28 12:41:06 +01:00
|
|
|
export interface Settings {
|
|
|
|
docname: string;
|
|
|
|
docsnumber: number;
|
|
|
|
profileid: string;
|
|
|
|
poswords: string;
|
|
|
|
negwords: string;
|
|
|
|
contextprev: number;
|
|
|
|
contextnext: number;
|
|
|
|
wordssplitnum: number;
|
|
|
|
punctuation: number;
|
|
|
|
stopwords: number;
|
2018-03-22 22:32:33 +01:00
|
|
|
lowercase: number;
|
2018-03-23 15:02:35 +01:00
|
|
|
stemming: number;
|
2018-11-28 17:55:22 +01:00
|
|
|
documentarea: string;
|
2018-02-28 12:41:06 +01:00
|
|
|
}
|