LinearExprTest

Detailed Description

Definition at line 25 of file LinearExprTest.java.

Public Member Functions
void	setUp ()
void	testLinearExprAdd ()
void	testLinearExprAddLiteral ()
void	testLinearExprAddNegatedLiteral ()
void	testLinearExprTerm ()
void	testLinearExprBooleanTerm ()
void	testLinearExprAffine ()
void	testLinearExprBooleanAffine ()
void	testLinearExprSum ()
void	testLinearExprWeightedSum ()
void	testLinearExprBooleanSum ()
void	testLinearExprBooleanWeightedSum ()

Member Function Documentation

setUp()

void setUp

(

)

Definition at line 27 of file LinearExprTest.java.

testLinearExprAdd()

void testLinearExprAdd

(

)

Definition at line 32 of file LinearExprTest.java.

testLinearExprAddLiteral()

void testLinearExprAddLiteral

(

)

Definition at line 48 of file LinearExprTest.java.

testLinearExprAddNegatedLiteral()

void testLinearExprAddNegatedLiteral

(

)

Definition at line 63 of file LinearExprTest.java.

testLinearExprAffine()

void testLinearExprAffine

(

)

Definition at line 109 of file LinearExprTest.java.

testLinearExprBooleanAffine()

void testLinearExprBooleanAffine

(

)

Definition at line 125 of file LinearExprTest.java.

testLinearExprBooleanSum()

void testLinearExprBooleanSum

(

)

Definition at line 178 of file LinearExprTest.java.

testLinearExprBooleanTerm()

void testLinearExprBooleanTerm

(

)

Definition at line 94 of file LinearExprTest.java.

testLinearExprBooleanWeightedSum()

void testLinearExprBooleanWeightedSum

(

)

Definition at line 196 of file LinearExprTest.java.

testLinearExprSum()

void testLinearExprSum

(

)

Definition at line 140 of file LinearExprTest.java.

testLinearExprTerm()

void testLinearExprTerm

(

)

Definition at line 78 of file LinearExprTest.java.

testLinearExprWeightedSum()

void testLinearExprWeightedSum

(

)

Definition at line 159 of file LinearExprTest.java.

---

The documentation for this class was generated from the following file:

• LinearExprTest.java