package org.eclipse.cdt.codan.extension;

import org.eclipse.ptp.pldt.mpi.analysis.cdt.graphs.IBlock;

public class TruthAssignment {	
	private IBlock blk;
	private Boolean value;

	public TruthAssignment(IBlock blk, Boolean value) {
		this.blk = blk;
		this.value = value;
	}
	
	public IBlock getOrigin() {
		return blk;
	}
	
	public Boolean getValue() {
		return value;
	}

}