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()));
}
