Skip to content
CVC_checker.m 711 B
Newer Older
% Author: Colin Eles elesc@mcmaster.ca
% Organization: McMaster Centre for Software Certification
        generator = ca.mcmaster.cas.tabularexpressiontoolbox.expression.CVC3Generator();
        boolean_type = ca.mcmaster.cas.tabularexpressiontoolbox.expression.BooleanVariableType();
        %% CVC_checker
        %    constructor
        % inputs:
        %   data:Data - data to generate from
        % outputs:
        %   object:CVC_checker - generated object.
        function object = CVC_checker(data)
            object.data = data;
        end
    end
    
end