메소드 | 설명 | |
---|---|---|
IndexedClauses ( LightestClauseHeuristic lightestClauseHeuristic, List |
||
addClause ( Clause c, List |
메소드 | 설명 | |
---|---|---|
indexClause ( Clause c ) : void |
public IndexedClauses ( LightestClauseHeuristic lightestClauseHeuristic, List |
||
lightestClauseHeuristic | LightestClauseHeuristic | |
sos | List |
|
usable | List |
|
리턴 | System |
public addClause ( Clause c, List |
||
c | Clause | |
sos | List |
|
usable | List |
|
리턴 | void |