+
Point of view
All features
class LOGIGRAM
Summary
Direct parents
Insert list: ANY
Overview
Creation features
{ANY}
Features
{}
{}
{}
{}
description: DESCRIPTION
writable attribute
{}
situation: SITUATION
writable attribute
{}
make
effective procedure
{}
make_description
effective procedure
{}
describe_problem_classic
effective procedure
{}
A classic problem.
describe_problem_small
effective procedure
{}
A small problem for beginning and debugging
  • The one that had no child was born in 1804 and is not Marie.
describe_problem_jojo
effective procedure
{}
A problem from jojo.
describe_problem_big
effective procedure
{}
a big problem not translated
group_atomic (nam: STRING, values: ARRAY[STRING])
effective procedure
{}
group_numeric (nam: STRING, values: ARRAY[STRING])
effective procedure
{}
group_ordered (nam: STRING, values: ARRAY[STRING])
effective procedure
{}
rule (cstr: CONSTRAINT)
effective procedure
{}
no (i: ITEM, j: ITEM): CONSTRAINT_NO
effective function
{}
yes (i: ITEM, j: ITEM): CONSTRAINT_YES
effective function
{}
eq (i: EXPR, j: EXPR): CONSTRAINT_EQUAL
effective function
{}
effective function
{}
inf (i: EXPR, j: EXPR): CONSTRAINT_LESSER
effective function
{}
effective function
{}
add (i: EXPR, j: EXPR): EXPR_ADD
effective function
{}
sub (i: EXPR, j: EXPR): EXPR_SUB
effective function
{}
mul (i: EXPR, j: EXPR): EXPR_MUL
effective function
{}
abs (i: EXPR): EXPR_ABS
effective function
{}
effective function
{}
ref (i: ITEM): EXPR_ITEM
effective function
{}
item (group: STRING, name: STRING): ITEM_ITEM
effective function
{}
var (group: STRING, name: STRING): ITEM_VAR
effective function
{}
some (group: STRING): ITEM_VAR
effective function
{}