All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • de.invation.code.toval.math.logic.ClauseSet Maven / Gradle / Ivy

    package de.invation.code.toval.math.logic;


import java.util.Comparator;
import java.util.Iterator;

import de.invation.code.toval.types.HashList;





public class ClauseSet extends HashList implements Comparator{
	
	private static final long serialVersionUID = 1L;
	
	public ClauseSet(){}
	
	public ClauseSet(Clause k){
		add(k);
	}
	
	public HashList getItems(){
		HashList set = new HashList();
		for(Iterator iter=iterator(); iter.hasNext();)
			set.addAll(iter.next().getItems());
		return set;
	}
	
	public ClauseSet union(ClauseSet k){
		ClauseSet r = new ClauseSet();
		r.addAll(this);
		r.addAll(k);
		return r;
	}

	public int compare(ClauseSet o1, ClauseSet o2) {
		return o1.size()-o2.size();
	}
	
	@Override
	public boolean equals(Object o) {
		
		if (this == o)
			return true;
		if (o == null)
			return false;
		if (o.getClass() != getClass())
			return false;
		if (!((ClauseSet) o).containsAll(this))
			return false;
		if(!containsAll((ClauseSet) o))
			return false;
		
		return true;
	}
	
	public String toString(){
		if(isEmpty()){
			return "{}";
		} else {
			String s = "{";
			for(Iterator i = iterator(); i.hasNext();){
				s += i.next().toString();
				if(i.hasNext()){
					s += ",";
				}
			}
			s += "}";
			return s;
		}
	}
	
}
    
    
    
    

    




    
    
    © 2015 - 2025 Weber Informatics LLC | Privacy Policy