Package | Description |
---|---|
org.sat4j.pb.tools |
Implementation of different tools for pseudo boolean solvers
|
Modifier and Type | Class and Description |
---|---|
class |
StringNegator |
Modifier and Type | Field and Description |
---|---|
static INegator |
DependencyHelper.BASIC_NEGATION |
static INegator |
StringNegator.INSTANCE |
static INegator |
DependencyHelper.NO_NEGATION |
Modifier and Type | Method and Description |
---|---|
void |
DependencyHelper.setNegator(INegator negator) |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.