代码搜索：proposition
找到约 45 项符合「proposition」的源代码
代码结果 45
www.eeworm.com/read/217557/14958640
m compile_ap.m
function [tree,ap_build_list] = compile_ap(tree)
% Compile the list of atomic propositions present in the parse tree
% obtained from the function "parse()".
%
% Syntax:
% "[tree,ap_build_list
www.eeworm.com/read/217557/14958642
m build_ap.m
function atomic_propositions = build_ap(ap_build_list)
% Build regions corresponding to the atomic propositions specified in the
% input list.
%
% Syntax:
% "build_ap(ap_build_list)"
%
%
www.eeworm.com/read/251851/12315017
m build_poly_ap.m
function ap = build_poly_ap(apname)
global GLOBAL_PIHA GLOBAL_TRANSITION GLOBAL_AUTO2XSYS_MAP
% build region for apname if it is a new atomic proposition
N = length(GLOBAL_TRANSITION);
NL = lengt
www.eeworm.com/read/251851/12315025
m compile_ap.m
function [tree,ap_build_list] = compile_ap(tree)
% Compile the list of atomic propositions present in the parse tree
% obtained from the function "parse()".
%
% Syntax:
% "[tree,ap_build_list] = co
www.eeworm.com/read/427511/8938594
txt gettysburg.txt
Fourscore and seven years ago our fathers brought forth on this
continent a new nation, conceived in liberty and dedicated to the
proposition that all men are created equal.
Now we are engaged in a gr
www.eeworm.com/read/167116/9980462
txt gettysburg.txt
Fourscore and seven years ago our fathers brought forth on this
continent a new nation, conceived in liberty and dedicated to the
proposition that all men are created equal.
Now we are engaged in a gr
www.eeworm.com/read/426161/10277970
txt gaddress.txt
Four score and seven years ago our fathers brought forth on this continent, a new nation, conceived in Liberty, and dedicated to the proposition that all men are created equal.
Now we are engaged in
www.eeworm.com/read/466701/7031529
txt getty.txt
Four score and seven years ago our fathers brought forth on this continent, a new nation, conceived in Liberty, and dedicated to the proposition that all men are created equal.
Now we are engaged in