TTChecker (MochyCore 2.0.3-SNAPSHOT API)

java.lang.Object
- fr.inria.mochy.core.timetable.TTChecker

```
public class TTChecker
extends Object
```
Class to verify well formedness of timetables

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  int OriginOfCycle
  
  ArrayList<TableDependency> WrongDependencies
- Constructor Summary
  
  Constructors
  Constructor Description
  
  TTChecker(TimeTable tbl)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  Boolean hasNoCycle()
  
  Boolean isSound()
  
  Boolean verifiedConstraints()
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - WrongDependencies
```
public ArrayList<TableDependency> WrongDependencies
```
  - OriginOfCycle
```
public int OriginOfCycle
```
- Constructor Detail
  - TTChecker
```
public TTChecker(TimeTable tbl)
```
- Method Detail
  - isSound
```
public Boolean isSound()
```
    Returns:
    
    a boolean set to true if the table contains no cycle, and respect all dependencies
  - hasNoCycle
```
public Boolean hasNoCycle()
```
    Returns:
    
    a boolean set to true if the dependencies in the TT do not form a cycle
  - verifiedConstraints
```
public Boolean verifiedConstraints()
```
    Returns:
    
    a boolean set to true if all constraints are satisfied in the TT, i.e. for every dependency (org, dest,val) date(dest)> date(org)+val