/** 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); }