Метод | Описание | |
---|---|---|
findModelFor ( String logicalSentence, int numberOfFlips, double probabilityOfRandomWalk ) : |
Метод | Описание | |
---|---|---|
getNumberOfClausesSatisfiedIn ( List |
||
getSymbolWhoseFlipMaximisesSatisfiedClauses ( List |
public findModelFor ( String logicalSentence, int numberOfFlips, double probabilityOfRandomWalk ) : |
||
logicalSentence | String | |
numberOfFlips | int | |
probabilityOfRandomWalk | double | |
Результат |