package org.spatch2.ctl;

import org.spatch2.ctl.operators.NullaryOperator;

public class Formula implements IFormula {
	
	private IOperator operator = new NullaryOperator();
	
	public Formula(IOperator operator)
	{
		this.operator = operator;
	}
	
	@Override
	public IOperator getOperator() {
		return operator;
	}
	
	

}
