public class BooleanMCSat extends Object implements Reasoner
RandomVariableAtoms
and RandomVariableAtoms that are each constrained by a single
GroundValueConstraint. It also assumes that all ObservedAtoms
have Boolean truth values. Its behavior is not defined otherwise.Modifier and Type | Field and Description |
---|---|
static String |
CONFIG_PREFIX
Prefix of property keys used by this class.
|
static int |
NUM_BURN_IN_DEFAULT
Default value for NUM_BURN_IN_KEY
|
static String |
NUM_BURN_IN_KEY
Number of burn-in samples
|
static int |
NUM_SAMPLES_DEFAULT
Default value for NUM_SAMPLES_KEY
|
static String |
NUM_SAMPLES_KEY
Key for length of Markov chain
|
Constructor and Description |
---|
BooleanMCSat() |
Modifier and Type | Method and Description |
---|---|
void |
close()
Releases all resources acquired by this Reasoner.
|
void |
optimize(TermStore termStore)
Minimizes the total weighted incompatibility of the terms in the provided
TermStore.
|
public static final String CONFIG_PREFIX
public static final String NUM_SAMPLES_KEY
public static final int NUM_SAMPLES_DEFAULT
public static final String NUM_BURN_IN_KEY
public static final int NUM_BURN_IN_DEFAULT
Copyright © 2018 University of California, Santa Cruz. All rights reserved.