private ITransformedPropertySpecification transformFormula(IFormula formula) { string assertion = parseNode(formula.getRoot(), -1, 0).SmtExpression; ICollection <IDeclaration> declarations = generateFormulaDeclarations(formula); string propertyId = formula.getId(); ITransformedPropertySpecification transformedProperty = new TransformedPropertySpecification(declarations, propertyId, assertion); return(transformedProperty); }
private IFormula parseTCTLFormula(IFormula input) { return(new Formula(parseNode(input.getRoot()), input.getId())); }