import KeysInstance from '@problem-solving/sat/src/core/convert/KeysInstance.js'KeysInstance
Maintains a mapping between variable names and a parity representation of the instance.
Constructor Summary
| Public Constructor | ||
| public |
constructor(variables: any[], clauses: number[][]) Constructor. |
|
Method Summary
| Public Methods | ||
| public |
assignment(certificate: number[]): Map<any, number> Returns an object that maps each variable name to a variable assignment. |
|
Public Constructors
public constructor(variables: any[], clauses: number[][]) source
Constructor.
Clauses are in parity format. The variables parameter allows to map variable indices to variable names.
Params:
| Name | Type | Attribute | Description |
| variables | any[] | The variables of this instance. |
|
| clauses | number[][] | The clauses in parity format. |