nl.uu.cs.ape.sat.models.logic.constructs.Clause Maven / Gradle / Ivy
package nl.uu.cs.ape.sat.models.logic.constructs;
import java.util.ArrayList;
/**
* An ordered collection of Literals. In practice it TODO
*
* @author Vedran Kasalica
*/
public class Clause extends ArrayList {
private static final long serialVersionUID = -7456831885895888413L;
/**
* Instantiates a new Clause.
*/
public Clause() {
super();
}
}