Dynamic Predicates: abstraction/3 abstract_semantic/4

b_synthesis_syngar(Library,Operation,SynthesisType,Positive,Negative,NewMachineAtom) :-
    Positive \== [] ,
    init_abstractions ,
    init_abstract_semantics(Library).

Calls:

Name: init_abstract_semantics/1	Module: b_synthesis_syngar
Name: init_abstractions/0	Module: b_synthesis_syngar
Name: \==/2

b_synthesis_syngar/7

b_synthesis_syngar(TimeOut,Library,Operation,SynthesisType,Positive,Negative,NewMachineAtom) :-
time_out(b_synthesis_syngar(Library,Operation,SynthesisType,Positive,Negative,NewMachineAtom),TimeOut,Result) ,
Result == success.

Calls:

Name: ==/2
Name: time_out/3	Module: foo_error

get_integer_interval_size/3

get_integer_interval_size(MinInt,MaxInt,IntervalSize) :-
MinInt < MaxInt ,
IntervalSize is round(sqrt(MaxInt - MinInt)).

Calls:

Name: is/2
Name: </2

Called:

Name: init_abstractions/1	Module: b_synthesis_syngar
Name: test/1	Module: b_synthesis_syngar_tests
Name: test/2	Module: b_synthesis_syngar_tests

init_abstract_semantic/1

init_abstract_semantic(add) :- %*
    assert(abstract_semantic(add,b(member(_,LhsInterval),pred,_),b(member(_,RhsInterval),pred,_),b(add(b(max(LhsInterval),integer,[]),b(max(RhsInterval),integer,[])),integer,[synthesis(abstract_semantic,integer)]))) ,
    assert(abstract_semantic(add,b(member(_,LhsInterval),pred,_),Y,b(add(b(max(LhsInterval),integer,[]),Y),integer,[synthesis(abstract_semantic,integer)]))) ,
    assert(abstract_semantic(add,X,b(member(_,RhsInterval),pred,_),b(add(X,b(max(RhsInterval),integer,[])),integer,[synthesis(abstract_semantic,integer)]))) ,
    assert(abstract_semantic(add,X,Y,b(add(X,Y),integer,[synthesis(abstract_semantic,integer)]))).

init_abstract_semantic(minus) :-
    assert(abstract_semantic(minus,b(member(_,LhsInterval),pred,_),b(member(_,RhsInterval),pred,_),b(minus(b(min(LhsInterval),integer,[]),b(min(RhsInterval),integer,[])),integer,[synthesis(abstract_semantic,integer)]))) ,
    assert(abstract_semantic(minus,b(member(_,LhsInterval),pred,_),Y,b(minus(b(min(LhsInterval),integer,[]),Y),integer,[synthesis(abstract_semantic,integer)]))) ,
    assert(abstract_semantic(minus,X,b(member(_,RhsInterval),pred,_),b(minus(X,b(min(RhsInterval),integer,[])),integer,[synthesis(abstract_semantic,integer)]))) ,
    assert(abstract_semantic(minus,X,Y,b(minus(X,Y),integer,[synthesis(abstract_semantic,integer)]))).

init_abstract_semantic(multiplication) :- %*
    assert(abstract_semantic(multiplication,b(member(_,LhsInterval),pred,_),b(member(_,RhsInterval),pred,_),b(multiplication(b(max(LhsInterval),integer,[]),b(max(RhsInterval),integer,[])),integer,[synthesis(abstract_semantic,integer)]))) ,
    assert(abstract_semantic(multiplication,b(member(_,LhsInterval),pred,_),Y,b(multiplication(b(max(LhsInterval),integer,[]),Y),integer,[synthesis(abstract_semantic,integer)]))) ,
    assert(abstract_semantic(multiplication,X,b(member(_,RhsInterval),pred,_),b(multiplication(X,b(max(RhsInterval),integer,[])),integer,[synthesis(abstract_semantic,integer)]))) ,
    assert(abstract_semantic(multiplication,X,Y,b(multiplication(X,Y),integer,[synthesis(abstract_semantic,integer)]))).

init_abstract_semantic(div) :- %*
    assert(abstract_semantic(div,b(member(_,LhsInterval),pred,_),b(member(_,RhsInterval),pred,_),b(div(b(max(LhsInterval),integer,[]),b(max(RhsInterval),integer,[])),integer,[synthesis(abstract_semantic,integer)]))) ,
    assert(abstract_semantic(div,b(member(_,LhsInterval),pred,_),Y,b(div(b(max(LhsInterval),integer,[]),Y),integer,[synthesis(abstract_semantic,integer)]))) ,
    assert(abstract_semantic(div,X,b(member(_,RhsInterval),pred,_),b(div(X,b(max(RhsInterval),integer,[])),integer,[synthesis(abstract_semantic,integer)]))) ,
    assert(abstract_semantic(div,X,Y,b(div(X,Y),integer,[synthesis(abstract_semantic,integer)]))).

Calls:

Name: abstract_semantic/4	dynamic predicate
Name: assert/1

Called:

Name: init_abstract_semantics/1

Module: b_synthesis_syngar

init_abstract_semantics/1

init_abstract_semantics([]).

init_abstract_semantics([Component|T]) :-
    component(Component) , ! ,
    init_abstract_semantic(Component) ,
    init_abstract_semantics(T).

init_abstract_semantics([Component|_]) :-
    throw('Unsupported library component.') , fail.

Calls:

Name: fail
Name: throw/1
Name: RECURSIVE_CALL/1	Module: b_synthesis_syngar
Name: init_abstract_semantic/1	Module: b_synthesis_syngar
Name: !
Name: component/1	Module: foo_error

Called:

Name: b_synthesis_syngar/6

Module: b_synthesis_syngar

init_abstractions/0

init_abstractions :-
init_abstractions(integer) ,
init_abstractions(set).

Calls:

Name: init_abstractions/1

Module: b_synthesis_syngar

Called:

Name: b_synthesis_syngar/6

Module: b_synthesis_syngar

init_abstractions/1

init_abstractions(integer) :-
    retract_abstractions ,
    min_int(MinInt) , max_int(MaxInt) ,
    get_integer_interval_size(MinInt,MaxInt,IntervalSize) ,
    split_and_assert_abstractions(integer,MinInt,MaxInt,IntervalSize).

init_abstractions(set) :-
    set_abstraction_upper_size(UpperSize) ,
    set_abstraction_step_size(StepSize) ,
    split_and_assert_abstractions(set,0,UpperSize,StepSize).

init_abstractions(Type) :-
    format("Type ~w currently not supported.",[Type]).

Calls:

Name: format/2
Name: split_and_assert_abstractions/4	Module: b_synthesis_syngar
Name: set_abstraction_step_size/1	Module: b_synthesis_syngar
Name: set_abstraction_upper_size/1	Module: b_synthesis_syngar
Name: get_integer_interval_size/3	Module: b_synthesis_syngar
Name: max_int/1	Module: b_synthesis_syngar
Name: min_int/1	Module: b_synthesis_syngar
Name: retract_abstractions/0	Module: b_synthesis_syngar

Called:

Name: b_synthesis_syngar/6

Module: b_synthesis_syngar

max_int/1

max_int(127).

Called:

Name: init_abstractions/1

Module: b_synthesis_syngar

min_int/1

min_int(-128).

Called:

Name: init_abstractions/1

Module: b_synthesis_syngar

retract_abstractions/0

retract_abstractions :-
retractall(abstraction(_,_,_)).

Calls:

Name: retractall/1

Called:

Name: init_abstractions/1

Module: b_synthesis_syngar

set_abstraction_step_size/1

set_abstraction_step_size(4).

Called:

Name: init_abstractions/1

Module: b_synthesis_syngar

set_abstraction_upper_size/1

set_abstraction_upper_size(20).

Called:

Name: init_abstractions/1

Module: b_synthesis_syngar

split_and_assert_abstractions/4

split_and_assert_abstractions(_,GLowerBound,GUpperBound,IntervalSize) :-
    (GLowerBound > GUpperBound ; IntervalSize =< 0) , ! , fail.

split_and_assert_abstractions(Type,GUpperBound,GUpperBound,_) :- ! ,
    split_and_assert_abstractions_aux(Type,GUpperBound,GUpperBound).

split_and_assert_abstractions(Type,GLowerBound,GUpperBound,IntervalSize) :-
    UpperBound is GLowerBound + IntervalSize ,
    UpperBound > GUpperBound , ! ,
    split_and_assert_abstractions_aux(Type,GLowerBound,GUpperBound).

split_and_assert_abstractions(Type,GLowerBound,GUpperBound,IntervalSize) :-
    UpperBound is GLowerBound + IntervalSize ,
    split_and_assert_abstractions_aux(Type,GLowerBound,UpperBound) ,
    UpperBound1 is UpperBound + 1 ,
    split_and_assert_abstractions(Type,UpperBound1,GUpperBound,IntervalSize).

Calls:

Name: RECURSIVE_CALL/4	Module: b_synthesis_syngar
Name: is/2
Name: split_and_assert_abstractions_aux/3	Module: b_synthesis_syngar
Name: !
Name: >/2
Name: fail
Name: =</2

Called:

Name: init_abstractions/1	Module: b_synthesis_syngar
Name: test/2	Module: b_synthesis_syngar_tests
Name: test/1	Module: b_synthesis_syngar_tests

split_and_assert_abstractions_aux/3

split_and_assert_abstractions_aux(integer,LowerBound,UpperBound) :-
assert(abstraction(integer,Value,b(member(Value,b(interval(LowerBound,UpperBound),set(integer),[])),pred,[synthesis(abstraction,integer)]))).

split_and_assert_abstractions_aux(set,LowerBound,UpperBound) :-
assert(abstraction(set,Value,b(member(b(card(Value),integer,[]),b(interval(LowerBound,UpperBound),set(integer),[])),pred,[synthesis(abstraction,set)]))).

Calls:

Name: abstraction/3	dynamic predicate
Name: assert/1

Called:

Name: split_and_assert_abstractions/4

Module: b_synthesis_syngar

Determinacy Checker

Determinacy Checker:

! Existence error in argument 1 of absolute_file_name/3
! file synthesis(logging) does not exist
! goal: absolute_file_name(synthesis(logging),_3733,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/synthesis/syngar/b_synthesis_syngar.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_273,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/synthesis/syngar/b_synthesis_syngar.pl')])

b_synthesis_syngar

prob_prolog/src/synthesis/syngar/b_synthesis_syngar.pl

Modules

Predicates of b_synthesis_syngar

Module Information

Dynamic Predicates: abstraction/3 abstract_semantic/4

109 Lines

14 Predicates

0 Exports

2 Imports

Predicates: