package test2;

public class NOT extends NonLeaf{
	
	public NOT()
	{
		super("!");
	}
	
	
	public C_Event work(NonLeaf n,Node n2)
	{
		C_Event ce;
		if(n2.getisleaf())
		{
			ce=new C_Event(((Leaf)n2).getevents().removeLast(),n);
		}
		else{			
				ce=new C_Event(((NonLeaf)n2).getmid_result().removeLast(),n);
		}
		return ce;
	}

}