tuffy.mln
Class Clause.ClauseInstance

java.lang.Object
  tuffy.mln.Clause.ClauseInstance

Enclosing class:

Clause

private class Clause.ClauseInstance
extends java.lang.Object

Class of an instance of a clause.

Field Summary

java.util.ArrayList<java.lang.Integer>	conList list of constant ID in this clause instance.
double	weight weight of this clause instance.

Constructor Summary

Clause.ClauseInstance(java.util.ArrayList<java.lang.Integer> conList, double weight)
Constructor of ClauseInstance.

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

conList

public java.util.ArrayList<java.lang.Integer> conList

list of constant ID in this clause instance.

weight

public double weight

weight of this clause instance.

Constructor Detail

Clause.ClauseInstance

public Clause.ClauseInstance(java.util.ArrayList<java.lang.Integer> conList,
                             double weight)

Constructor of ClauseInstance.

Parameters:

conList - list of constant in this clause instance.

weight - weight of this clause instance.