public class DCDReasoner extends Reasoner
budget, objectiveBreak, printInitialObj, tolerance
Constructor and Description |
---|
DCDReasoner() |
Modifier and Type | Method and Description |
---|---|
void |
close()
Releases all resources acquired by this Reasoner.
|
void |
optimize(TermStore baseTermStore)
Minimizes the total weighted incompatibility of the terms in the provided
TermStore.
|
Copyright © 2020 University of California, Santa Cruz. All rights reserved.