PrologClauseTest (prolobjectlink-jpi-jtrolog 1.2-SNAPSHOT Test API)

java.lang.Object
- io.github.prolobjectlink.prolog.jtrolog.PrologBaseTest
- - io.github.prolobjectlink.prolog.jtrolog.PrologClauseTest

public class PrologClauseTest
extends PrologBaseTest

Field Summary
- Fields inherited from class io.github.prolobjectlink.prolog.jtrolog.PrologBaseTest
  administration, allSolutionMap, ann, aureo, bear, board, bob, cat, chapman, claessen, cohn, department, different, dpto, dptoName, duffy, eight, elephant, employee, empty, euler, expecteds0, expecteds1, expecteds2, expecteds3, expecteds4, expecteds5, expecteds6, famillyAllSolutionMap, famillySolutionMap, female, five, fiveThousand, four, fourThousand, fourThousandFiveHundred, gauss, grandparent, human_resources, jim, liz, male, manager, mcardon, money, mother, name, nil, nine, offspring, one, pam, parent, pat, petersen, pi, predecessor, production, provider, salary, scale, seven, sister, six, solution, solutionMap, technical_services, ten, thousand, thousandFiveHundred, three, threeThousand, threeThousandFiveHundred, tom, treeman, two, twoThousand, twoThousandFiveHundred, x, y, z, zero

Constructor Summary

Constructors
Constructor and Description

PrologClauseTest()

Constructors
Constructor and Description
`PrologClauseTest()`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`testEqualsObject()`
`void`	`testGetArity()`
`void`	`testGetBody()`
`void`	`testGetBodyArray()`
`void`	`testGetBodyIterator()`
`void`	`testGetFunctor()`
`void`	`testGetHead()`
`void`	`testGetIndicator()`
`void`	`testGetPrologIndicator()`
`void`	`testGetTerm()`
`void`	`testHashCode()`
`void`	`testIsDirective()`
`void`	`testIsDiscontiguous()`
`void`	`testIsDynamic()`
`void`	`testIsFact()`
`void`	`testIsMultifile()`
`void`	`testIsRule()`
`void`	`testToString()`
`void`	`testUnify()`

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

Constructor Detail
- PrologClauseTest
```
public PrologClauseTest()
```

Method Detail

testHashCode
```
public void testHashCode()
```

testGetTerm
```
public void testGetTerm()
```

testGetHead
```
public void testGetHead()
```

testGetBody
```
public void testGetBody()
```

testGetBodyArray
```
public void testGetBodyArray()
```

testGetBodyIterator
```
public void testGetBodyIterator()
```

testGetFunctor
```
public void testGetFunctor()
```

testGetArity
```
public void testGetArity()
```

testGetIndicator
```
public void testGetIndicator()
```

testIsDirective
```
public void testIsDirective()
```

testIsFact
```
public void testIsFact()
```

testIsRule
```
public void testIsRule()
```

testUnify
```
public void testUnify()
```

testIsDynamic
```
public void testIsDynamic()
```

testIsMultifile
```
public void testIsMultifile()
```

testIsDiscontiguous
```
public void testIsDiscontiguous()
```

testGetPrologIndicator
```
public void testGetPrologIndicator()
```

testEqualsObject
```
public void testEqualsObject()
```

testToString
```
public void testToString()
```

Class PrologClauseTest

Field Summary

Fields inherited from class io.github.prolobjectlink.prolog.jtrolog.PrologBaseTest

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

PrologClauseTest

Method Detail

testHashCode

testGetTerm

testGetHead

testGetBody

testGetBodyArray

testGetBodyIterator

testGetFunctor

testGetArity

testGetIndicator

testIsDirective

testIsFact

testIsRule

testUnify

testIsDynamic

testIsMultifile

testIsDiscontiguous

testGetPrologIndicator

testEqualsObject

testToString