Download the latest version of HeaRTDroid from https://bitbucket.org/sbobek/heartdroid/downloads and rename the JAR file to heartdroid.jar

**** StandardReasoningDemo ****

It shows how to load and trigger different types of inference on the classic XTT2 model

Compile:
javac -cp heartdroid.jar:. StandardReasoningDemo.java

Run: 
java -cp heartdroid.jar:. StandardReasoningDemo


**** ComplexReasoningDemo ****

It shows how to load and trigger different types of inference on more complex XTT2 models that contains erithmetic expressions in decission parts and ussess different conflict resolution approach

Compile:
javac -cp heartdroid.jar:. ComplexReasoningDemo.java

Run: 
java -cp heartdroid.jar:. ComplexReasoningDemo



**** UncertaintyCFDemo ****
It shows how to load and trigger different types of inference types on XTT2 model when the state values are uncertain.

Compile:
javac -cp heartdroid.jar:. UncertaintyCFDemo.java

Run: 
java -cp heartdroid.jar:. UncertaintyCFDemo


**** TimeBasedOperatorsDemo ****

It shows how to load and trigger different types of inference types on XTT2 model that uses time-based operators.

Compile:
javac -cp heartdroid.jar:. TimeBasedOperatorsDemo.java

Run: 
java -cp heartdroid.jar:. TimeBasedOperatorsDemo

**** CallbackDemo ****

It shows how to use callbacks in HMR+ models

Compile:
javac -cp heartdroid.jar:. CallbackDemo.java callbacks/*.java

Run: 
java -cp heartdroid.jar:. CallbackDemo
