public final class ClauseState extends Object
Modifier and Type | Field and Description |
---|---|
static int |
SATISFIED_CLAUSE |
static int |
UNKNOWN_CLAUSE
TODO, Radek : I would put this in AbstractClausesDatabase as
only ClausesDatabases uses this.
|
static int |
UNSATISFIABLE_CLAUSE |
Constructor and Description |
---|
ClauseState() |
public static final int UNKNOWN_CLAUSE
public static final int UNSATISFIABLE_CLAUSE
public static final int SATISFIED_CLAUSE
Copyright © 2022. All rights reserved.