org.sat4j.maxsat
Class UnitWeightedClause

java.lang.Object
  extended by org.sat4j.maxsat.UnitWeightedClause
All Implemented Interfaces:
IConstr

public class UnitWeightedClause
extends Object
implements IConstr


Method Summary
 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


Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.