public class SPartialyAssignedExpression implements IsSerializable{
	public SExpression e;
	public HashMap<String, Boolean> partialAssignment;

	public SPartialyAssignedExpression(SExpression e, HashMap<String, Boolean> partialAssignment){
		this.e = e;
		this.partialAssignment = partialAssignment;
	}

	public String toString(){
		return e.toString() + ";" + partialAssignment.toString();
	}

	@Override
	public boolean equals(Object obj) {
	  if (obj instanceof SPartialyAssignedExpression) {
	    return ((SPartialyAssignedExpression) obj).e == e &&
	    		((SPartialyAssignedExpression) obj).partialAssignment == partialAssignment;
	  }
	  return false;
	}
}