org.sosy_lab.solver.basicimpl.cache

Class OptimizationObjective

java.lang.Object

org.sosy_lab.solver.basicimpl.cache.OptimizationObjective

public abstract class OptimizationObjective
extends Object

Constructor Summary

Constructors

Constructor and Description
OptimizationObjective()

Method Summary

Modifier and Type	Method and Description
abstract org.sosy_lab.solver.basicimpl.cache.OptimizationObjective.DIRECTION	direction()
static OptimizationObjective	maxObjective(Formula objective)
static OptimizationObjective	minObjective(Formula objective)
abstract Formula	objective()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OptimizationObjective

public OptimizationObjective()

Method Detail

objective

public abstract Formula objective()

direction

public abstract org.sosy_lab.solver.basicimpl.cache.OptimizationObjective.DIRECTION direction()

maxObjective

public static OptimizationObjective maxObjective(Formula objective)

minObjective

public static OptimizationObjective minObjective(Formula objective)