/** Deep copy of the node */
public LTLNode copy()
{
if (_type == type_t.T_AP)
{
return(new LTLNode(_ap));
}
else if (_type == type_t.T_TRUE || _type == type_t.T_FALSE)
{
return(new LTLNode(_type, null));
}
else if (_right == null)
{
return(new LTLNode(_type, _left.copy()));
}
else
{
return(new LTLNode(_type, _left.copy(), _right.copy()));
}
}
/** Deep copy */
public LTLFormula copy()
{
LTLFormula copy_p = new LTLFormula(_root.copy(), _apset);
return(copy_p);
}