Newer
Older
% Author: Colin Eles elesc@mcmaster.ca
% Organization: McMaster Centre for Software Certification
Colin Eles
committed
classdef CVC_checker
properties
Colin Eles
committed
command = 'cvc3';
Colin Eles
committed
data = [];
generator = ca.mcmaster.cas.tabularexpressiontoolbox.expression.CVC3Generator();
boolean_type = ca.mcmaster.cas.tabularexpressiontoolbox.expression.BooleanVariableType();
Colin Eles
committed
end
methods
%% CVC_checker
% constructor
% inputs:
% data:Data - data to generate from
% outputs:
% object:CVC_checker - generated object.
Colin Eles
committed
function object = CVC_checker(data)
object.data = data;
end
end
end