de.invation.code.toval.math.logic.ResolveResult Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of TOVAL Show documentation

TOVAL comprises a set of java classes for common programming issues. It includes utils for arrays, lists, sets and collections for convenient handling and modification, but also support for mathematic definitions concerning logic (clauses + resolution) together with some algorithms for permutations, powersets and resolution. Additionally it contains a number of types for multisets, matrices with object keys and much more.

The newest version!

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


/**
 * This class represents the result of a resolution operation.
 * 
 * @author stocker
 *
 */
public class ResolveResult {
	private Clause resolvent = new Clause();
	private Object item =  null;
	
	
	public ResolveResult(Clause resolvent, Object item){
		this.resolvent = resolvent;
		this.item = item;
	}
	
	public Object getItem(){
		return item;
	}
	
	public Clause getClause(){
		return this.resolvent;
	}
	
	public boolean isFinal(){
		return resolvent.isEmpty();
	}
	
	public String toString(){
		return "ResolveResult("+item.toString()+", "+resolvent.toString()+")";
	}

}