org.sat4j.maxsat

Class UnitWeightedClause

java.lang.Object

org.sat4j.maxsat.UnitWeightedClause

All Implemented Interfaces:

IConstr

public class UnitWeightedClause
extends Object
implements IConstr

Method Summary

Methods

Modifier and Type	Method and Description
boolean	canBePropagatedMultipleTimes()
int	get(int i)
double	getActivity()
static UnitWeightedClause	instance()
boolean	learnt()
int	size()

Methods inherited from class java.lang.Object

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

Method Detail

instance

public static UnitWeightedClause instance()

learnt

public boolean learnt()

Specified by:

learnt in interface IConstr

size

public int size()

Specified by:

size in interface IConstr

get

public int get(int i)

Specified by:

get in interface IConstr

getActivity

public double getActivity()

Specified by:

getActivity in interface IConstr

canBePropagatedMultipleTimes

public boolean canBePropagatedMultipleTimes()

Specified by:

canBePropagatedMultipleTimes in interface IConstr