public void test_ASTNode_canonicalizeRelational()
{
ASTNode n = new ASTNode(libsbml.AST_FUNCTION);
n.setName( "eq");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_RELATIONAL_EQ );
n.setType(libsbml.AST_FUNCTION);
n.setName( "geq");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_RELATIONAL_GEQ );
n.setType(libsbml.AST_FUNCTION);
n.setName( "gt");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_RELATIONAL_GT );
n.setType(libsbml.AST_FUNCTION);
n.setName( "leq");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_RELATIONAL_LEQ );
n.setType(libsbml.AST_FUNCTION);
n.setName( "lt");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_RELATIONAL_LT );
n.setType(libsbml.AST_FUNCTION);
n.setName( "neq");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_RELATIONAL_NEQ );
n.setType(libsbml.AST_FUNCTION);
n = null;
}
public void test_ASTNode_canonicalizeLogical()
{
ASTNode n = new ASTNode(libsbml.AST_FUNCTION);
n.setName( "and");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_LOGICAL_AND );
n.setType(libsbml.AST_FUNCTION);
n.setName( "not");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_LOGICAL_NOT );
n.setType(libsbml.AST_FUNCTION);
n.setName( "or");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_LOGICAL_OR );
n.setType(libsbml.AST_FUNCTION);
n.setName( "xor");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_LOGICAL_XOR );
n.setType(libsbml.AST_FUNCTION);
n = null;
}
public void test_ASTNode_canonicalizeFunctions()
{
ASTNode n = new ASTNode(libsbml.AST_FUNCTION);
n.setName( "abs");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ABS );
n.setType(libsbml.AST_FUNCTION);
n.setName( "arccos");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ARCCOS );
n.setType(libsbml.AST_FUNCTION);
n.setName( "arccosh");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ARCCOSH );
n.setType(libsbml.AST_FUNCTION);
n.setName( "arccot");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ARCCOT );
n.setType(libsbml.AST_FUNCTION);
n.setName( "arccoth");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ARCCOTH );
n.setType(libsbml.AST_FUNCTION);
n.setName( "arccsc");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ARCCSC );
n.setType(libsbml.AST_FUNCTION);
n.setName( "arccsch");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ARCCSCH );
n.setType(libsbml.AST_FUNCTION);
n.setName( "arcsec");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ARCSEC );
n.setType(libsbml.AST_FUNCTION);
n.setName( "arcsech");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ARCSECH );
n.setType(libsbml.AST_FUNCTION);
n.setName( "arcsin");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ARCSIN );
n.setType(libsbml.AST_FUNCTION);
n.setName( "arcsinh");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ARCSINH );
n.setType(libsbml.AST_FUNCTION);
n.setName( "arctan");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ARCTAN );
n.setType(libsbml.AST_FUNCTION);
n.setName( "arctanh");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ARCTANH );
n.setType(libsbml.AST_FUNCTION);
n.setName( "ceiling");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_CEILING );
n.setType(libsbml.AST_FUNCTION);
n.setName( "cos");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_COS );
n.setType(libsbml.AST_FUNCTION);
n.setName( "cosh");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_COSH );
n.setType(libsbml.AST_FUNCTION);
n.setName( "cot");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_COT );
n.setType(libsbml.AST_FUNCTION);
n.setName( "coth");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_COTH );
n.setType(libsbml.AST_FUNCTION);
n.setName( "csc");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_CSC );
n.setType(libsbml.AST_FUNCTION);
n.setName( "csch");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_CSCH );
n.setType(libsbml.AST_FUNCTION);
n.setName( "exp");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_EXP );
n.setType(libsbml.AST_FUNCTION);
n.setName( "factorial");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_FACTORIAL );
n.setType(libsbml.AST_FUNCTION);
n.setName( "floor");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_FLOOR );
n.setType(libsbml.AST_FUNCTION);
n.setName( "lambda");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_LAMBDA );
n.setType(libsbml.AST_FUNCTION);
n.setName( "ln");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_LN );
n.setType(libsbml.AST_FUNCTION);
n.setName( "log");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_LOG );
n.setType(libsbml.AST_FUNCTION);
n.setName( "piecewise");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_PIECEWISE );
n.setType(libsbml.AST_FUNCTION);
n.setName( "power");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_POWER );
n.setType(libsbml.AST_FUNCTION);
n.setName( "root");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ROOT );
n.setType(libsbml.AST_FUNCTION);
n.setName( "sec");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_SEC );
n.setType(libsbml.AST_FUNCTION);
n.setName( "sech");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_SECH );
n.setType(libsbml.AST_FUNCTION);
n.setName( "sin");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_SIN );
n.setType(libsbml.AST_FUNCTION);
n.setName( "sinh");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_SINH );
n.setType(libsbml.AST_FUNCTION);
n.setName( "tan");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_TAN );
n.setType(libsbml.AST_FUNCTION);
n.setName( "tanh");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_TANH );
n.setType(libsbml.AST_FUNCTION);
n.setName( "Foo");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n = null;
}
public void test_ASTNode_canonicalizeFunctionsL1()
{
ASTNode n = new ASTNode(libsbml.AST_FUNCTION);
ASTNode c;
n.setName( "acos");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ARCCOS );
n.setType(libsbml.AST_FUNCTION);
n.setName( "asin");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ARCSIN );
n.setType(libsbml.AST_FUNCTION);
n.setName( "atan");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ARCTAN );
n.setType(libsbml.AST_FUNCTION);
n.setName( "ceil");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_CEILING );
n.setType(libsbml.AST_FUNCTION);
n.setName( "pow");
assertTrue( n.getType() == libsbml.AST_FUNCTION );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_POWER );
n = null;
n = new ASTNode(libsbml.AST_FUNCTION);
n.setName( "log");
c = new ASTNode();
c.setName( "x");
n.addChild(c);
assertTrue( n.getType() == libsbml.AST_FUNCTION );
assertTrue( n.getNumChildren() == 1 );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_LN );
assertTrue( n.getNumChildren() == 1 );
n.setType(libsbml.AST_FUNCTION);
c = new ASTNode();
c.setName( "y");
n.addChild(c);
assertTrue( n.getType() == libsbml.AST_FUNCTION );
assertTrue( n.getNumChildren() == 2 );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_LOG );
n = null;
n = new ASTNode(libsbml.AST_FUNCTION);
n.setName( "log10");
c = new ASTNode();
c.setName( "x");
n.addChild(c);
assertTrue( n.getType() == libsbml.AST_FUNCTION );
assertTrue( n.getNumChildren() == 1 );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_LOG );
assertTrue( n.getNumChildren() == 2 );
c = n.getLeftChild();
assertTrue( c.getType() == libsbml.AST_INTEGER );
assertTrue( c.getInteger() == 10 );
c = n.getRightChild();
assertTrue( c.getType() == libsbml.AST_NAME );
assertTrue(( "x" == c.getName() ));
n = null;
n = new ASTNode(libsbml.AST_FUNCTION);
n.setName( "sqr");
c = new ASTNode();
c.setName( "x");
n.addChild(c);
assertTrue( n.getType() == libsbml.AST_FUNCTION );
assertTrue( n.getNumChildren() == 1 );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_POWER );
assertTrue( n.getNumChildren() == 2 );
c = n.getLeftChild();
assertTrue( c.getType() == libsbml.AST_NAME );
assertTrue(( "x" == c.getName() ));
c = n.getRightChild();
assertTrue( c.getType() == libsbml.AST_INTEGER );
assertTrue( c.getInteger() == 2 );
n = null;
n = new ASTNode(libsbml.AST_FUNCTION);
n.setName( "sqrt");
c = new ASTNode();
c.setName( "x");
n.addChild(c);
assertTrue( n.getType() == libsbml.AST_FUNCTION );
assertTrue( n.getNumChildren() == 1 );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_FUNCTION_ROOT );
assertTrue( n.getNumChildren() == 2 );
c = n.getLeftChild();
assertTrue( c.getType() == libsbml.AST_INTEGER );
assertTrue( c.getInteger() == 2 );
c = n.getRightChild();
assertTrue( c.getType() == libsbml.AST_NAME );
assertTrue(( "x" == c.getName() ));
n = null;
}
public void test_ASTNode_canonicalizeConstants()
{
ASTNode n = new ASTNode();
n.setName( "ExponentialE");
assertEquals( true, n.isName() );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_CONSTANT_E );
n.setType(libsbml.AST_NAME);
n.setName( "False");
assertEquals( true, n.isName() );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_CONSTANT_FALSE );
n.setType(libsbml.AST_NAME);
n.setName( "Pi");
assertEquals( true, n.isName() );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_CONSTANT_PI );
n.setType(libsbml.AST_NAME);
n.setName( "True");
assertEquals( true, n.isName() );
n.canonicalize();
assertTrue( n.getType() == libsbml.AST_CONSTANT_TRUE );
n.setType(libsbml.AST_NAME);
n.setName( "Foo");
assertEquals( true, n.isName() );
n.canonicalize();
assertEquals( true, n.isName() );
n = null;
}
