代码搜索:syntax
找到约 10,000 项符合「syntax」的源代码
代码结果 10,000
www.eeworm.com/read/217557/14958510
m get_linearcon_param.m
function st = get_linearcon_param(con,param)
% Retrieve a parameter of a linear constraint object
%
% Syntax:
% "A = get_linearcon_param(con,p)"
%
% Description:
% "get_linearcon_param(co
www.eeworm.com/read/217557/14958512
m clean_up.m
function CONout = clean_up(CONin)
% Remove all redundant constraints from a linear constraint object
%
% Syntax:
% "C = clean_up(a)"
%
% Description:
% "clean_up(a)" returns a linear cons
www.eeworm.com/read/217557/14958514
m transform.m
function CON = transform(CON,T,v)
% Apply affine transformation Tx + v to a linear constraint object, where
% T is an n by n matrix and v is a constant vector
%
% Syntax:
% "C = transform(con
www.eeworm.com/read/217557/14958596
m find_masked_blocks.m
function blockH = find_masked_blocks(sys,masktype)
% Find masked blocks in a flat Simulink system
%
% Syntax:
% "blockH = find_masked_blocks(sys,masktype)"
%
% Description:
% "find_masked
www.eeworm.com/read/217557/14958625
m scsb_icon.m
function coord = scsb_icon(var)
% Provide coordinates for CheckMate switched continuous system block
% (SCSB) mask icon
%
% Syntax:
% "coord = scsb_icon(var)"
%
% Description:
% "scsb_ic
www.eeworm.com/read/217557/14958667
m get_region_param.m
function val = get_region_param(s,param)
% Get a parameter of a "region" object.
%
% Syntax:
% "val = get_region_param(s,param)"
%
% Description:
% Returns the field specified by the stri
www.eeworm.com/read/217557/14958671
m checkau.m
function AfUg = checkAU(f,g)
% Evaluate the `computation tree logic (CTL)` expression "A f U g".
%
% Syntax:
% "AfUg = checkAU(f,g)"
%
% Description:
% Given a finite-state transition sy
www.eeworm.com/read/217557/14958682
m checkar.m
function AfRg = checkAR(f,g)
% Evaluate the `computation tree logic (CTL)` expression "A f R g".
%
% Syntax:
% "AfRg = checkAR(f,g)"
%
% Description:
% Given a finite-state transition sy
www.eeworm.com/read/217557/14958736
m total_auto_states.m
function total = total_auto_states(from_idx)
% Count the number of states (`initial` and `face` states) in the global
% variable "GLOBAL_AUTOMATON" starting from the given index.
%
% Syntax:
%
www.eeworm.com/read/217557/14958740
m is_valid_auto_idx.m
function result = is_valid_auto_idx(idx)
% Check if the given state index for the global variable
% "GLOBAL_AUTOMATON" is valid.
%
% Syntax:
% "result = is_valid_auto_idx(idx)"
%
% Descript