Object
- DiffTester

```
public class DiffTester
extends Object
```

Constructor Summary

Constructors
Constructor Description

DiffTester()

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static VarInfo`	`newIntVarInfo(String name)`
`void`	`setUp()`
`static void`	`setUpClass()`	prepare for tests
`void`	`testConditionalPptsFalse()`
`void`	`testConditionalPptsTrue()`
`void`	`testEmptyEmpty()`
`void`	`testEmptyPpts1()`
`void`	`testInvs1Empty()`
`void`	`testInvs1Invs1()`
`void`	`testInvs1Invs2()`
`void`	`testInvs1Invs3()`
`void`	`testNonModulus()`
`void`	`testNullaryInvs()`
`void`	`testPpts1Empty()`
`void`	`testPpts1Ppts1()`
`void`	`testPpts1Ppts2()`
`void`	`testPpts1Ppts3()`

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- DiffTester
```
public DiffTester()
```

Method Detail

setUpClass
```
public static void setUpClass()
```
prepare for tests

setUp

public void setUp()
           throws NoSuchMethodException,
                  IllegalAccessException,
                  InvocationTargetException

Throws:: NoSuchMethodException; IllegalAccessException; InvocationTargetException

newIntVarInfo

public static VarInfo newIntVarInfo(String name)

testEmptyEmpty
```
public void testEmptyEmpty()
```

testEmptyPpts1
```
public void testEmptyPpts1()
```

testPpts1Empty
```
public void testPpts1Empty()
```

testPpts1Ppts1
```
public void testPpts1Ppts1()
```

testPpts1Ppts2
```
public void testPpts1Ppts2()
```

testPpts1Ppts3
```
public void testPpts1Ppts3()
```

testInvs1Empty
```
public void testInvs1Empty()
```

testInvs1Invs1
```
public void testInvs1Invs1()
```

testInvs1Invs2
```
public void testInvs1Invs2()
```

testInvs1Invs3
```
public void testInvs1Invs3()
```

testNullaryInvs
```
public void testNullaryInvs()
```

testNonModulus
```
public void testNonModulus()
```

testConditionalPptsFalse

public void testConditionalPptsFalse()

testConditionalPptsTrue
```
public void testConditionalPptsTrue()
```

Class DiffTester

Constructor Summary

Method Summary

Methods inherited from class Object

Constructor Detail

DiffTester

Method Detail

setUpClass

setUp

newIntVarInfo

testEmptyEmpty

testEmptyPpts1

testPpts1Empty

testPpts1Ppts1

testPpts1Ppts2

testPpts1Ppts3

testInvs1Empty

testInvs1Invs1

testInvs1Invs2

testInvs1Invs3

testNullaryInvs

testNonModulus

testConditionalPptsFalse

testConditionalPptsTrue