Méthode | Description | |
---|---|---|
CNFClauseGatherer ( ) : System | ||
getClausesFrom ( |
||
visitBinarySentence ( |
Méthode | Description | |
---|---|---|
processSubTerm ( |
public getClausesFrom ( |
||
sentence | ||
Résultat | List |
public visitBinarySentence ( |
||
bs | ||
args | Object | |
Résultat | Object |