#!/bin/tcsh
#
# A series of thesis examples

######################################################################
# Sample specification
#
######################################################################

# sample specification
fmsl sample_spec.fmsl

######################################################################
# Boolean and arithmentic expression and operator evaluation examples
#
######################################################################

# boolean operator expression evaluation
fmsl expression_example_boolean.fmsl

# division operator
fmsl expression_example_division.fmsl

######################################################################
# List expression and operator evaluation examples
#
######################################################################

# list construction
fmsl list_construction.fmsl intlist_object.fmsl

# list construction with an expression as an element
fmsl list_construction_with_expression.fmsl intlist_object.fmsl

# list subcomponent range selection
fmsl list_subcomponent_selection.fmsl intlist_object.fmsl

######################################################################
# List expression and operator evaluation examples
#
######################################################################

# tuple object definition
fmsl person_object.fmsl

# tuple construction
fmsl tuple_person_construction.fmsl person_object.fmsl

# tuple field access
fmsl tuple_person_field_access.fmsl person_object.fmsl

######################################################################
# Operation examples
#
######################################################################

# cube operation
fmsl operation_example.fmsl

######################################################################
# Universe examples
#
######################################################################

# universe add
fmsl value_universe_person_add.fmsl person_object.fmsl

######################################################################
# Quantifier examples
#
######################################################################

# bounded quantifier
fmsl quantifier_bounded_example.fmsl

# unbounded forall
fmsl quantifier_forall_example.fmsl person_object.fmsl

# unbounded exists
fmsl quantifier_exists_example.fmsl person_object.fmsl

# unbounded forall suchthat
fmsl quantifier_forall_suchthat_example.fmsl person_object.fmsl

