Searched refs:term (Results 1 - 25 of 186) sorted by relevance

12345678

/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/
H A Deg_cc_handle.cc52 term(EC_functor(",",2),
53 term(EC_functor("xget",3),
57 term(EC_functor("writeln",1), X)
H A Deg_cc_main.cc55 post_goal(term(writeln_1,"hello world"));
57 post_goal(term(read_1,R));
58 post_goal(term(writeln_1,"hi again"));
59 post_goal(term(writeln_1,R));
61 post_goal(term(writeln_1,w));
62 post_goal(term(writeln_1,R));
63 post_goal(term(writeln_1,w*3+4*R));
H A Deg_cc_sendmore.cc54 post_goal(term(EC_functor("::",2),DigitList,
55 term( EC_functor("..",2),0,9)));
57 post_goal(term(EC_functor("alldistinct",1),DigitList));
58 post_goal(term(EC_functor("##",2),0,X[S]));
59 post_goal(term(EC_functor("##",2),0,X[M]));
60 post_goal(term(EC_functor("#=",2),
64 post_goal(term(EC_functor("labeling",1),DigitList));
65 post_goal(term(EC_functor("writeln",1),DigitList));
H A Deg_cc_mip.cc58 post_goal(term(EC_functor("::",2),
60 term(EC_functor("..",2), lb, ub)));
65 post_goal(term(EC_functor("$=",2), lhs, rhs));
70 post_goal(term(EC_functor("$>=",2), lhs, rhs));
75 post_goal(term(EC_functor("$=<",2), lhs, rhs));
80 post_goal(term(EC_functor("optimize",2),
81 term(EC_functor("max",1), obj), objval));
H A Declipse_cc.cc185 term(const EC_functor functor,const EC_word args[]);
188 term(const EC_functor functor, const EC_word arg1,
193 term(const EC_functor functor, const EC_word arg1,
313 unify(EC_word term) argument
315 return ec_unify(w, term.w);
325 post_goal(const EC_word term);
328 EC_resume(EC_word term, EC_ref& chp);
331 EC_resume(EC_word term);
334 post_event(EC_word term);
358 post_goal(const EC_word term) argument
364 EC_resume(EC_word term) argument
370 post_event(EC_word term) argument
488 EC_resume(EC_word term, EC_ref& chp) argument
517 term(const EC_functor functor,const EC_word args[]) function
524 term(const EC_functor functor, const EC_word arg1, function
534 term(const EC_functor functor, const EC_word arg1, function
[all...]
H A Deg_cc_fail_loop.cc60 post_goal(term(EC_functor("p",1),X));
/barrelfish-2018-10-04/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DVisEvent.java32 static VisEvent eventFromCompoundTerm(CompoundTerm term) argument
35 if(term.functor().equals("viewable_create"))
37 return(CreateEvent.parseFromCompoundTerm(term));
39 if(term.functor().equals("viewable_destroy"))
41 return(DestroyEvent.parseFromCompoundTerm(term));
43 if(term.functor().equals("viewable_expand"))
45 return(ExpandEvent.parseFromCompoundTerm(term));
47 if(term.functor().equals("viewable_contract"))
49 return(ContractEvent.parseFromCompoundTerm(term));
51 if(term
[all...]
H A DElementType.java52 static ElementType parseFromCompoundTerm(CompoundTerm term) argument
55 if(changeable.equals(term.functor()) && term.arity()==2)
59 CompoundTerm solverTerm = (CompoundTerm)(term.arg(1));
60 CompoundTerm typeTerm = (CompoundTerm)(term.arg(2));
67 throw new VisException("Could not parse changeable element type from "+term);
70 if(any.equals(term.functor()))
75 if(numericBounds.equals(term.functor()))
80 if(graphData.equals(term.functor()))
84 throw new VisException("Could not parse element type from "+term);
[all...]
H A DContractEvent.java29 static VisEvent parseFromCompoundTerm(CompoundTerm term) argument
32 if(term.functor().equals("viewable_contract") &&
33 term.arity() == 1)
35 return(new ContractEvent(((Atom)term.arg(1)).functor()));
37 throw(new VisException("Could not parse ContractEvent from "+term));
H A DDestroyEvent.java29 static VisEvent parseFromCompoundTerm(CompoundTerm term) argument
32 if(term.functor().equals("viewable_destroy") &&
33 term.arity() == 1)
35 return(new DestroyEvent(((Atom)term.arg(1)).functor()));
37 throw(new VisException("Could not parse DestroyEvent from "+term));
H A DExpandEvent.java30 static VisEvent parseFromCompoundTerm(CompoundTerm term) argument
33 if(term.functor().equals("viewable_expand") &&
34 term.arity() == 2)
36 return(new ExpandEvent(((Atom)term.arg(1)).functor(),
37 ((Integer) term.arg(2)).intValue()));
39 throw(new VisException("Could not parse ExpandEvent from "+term));
H A DCreateEvent.java32 static VisEvent parseFromCompoundTerm(CompoundTerm term) argument
35 if(term.functor().equals("viewable_create") &&
36 term.arity() == 2)
38 return(new CreateEvent(((Atom)term.arg(1)).functor(),
40 parseFromCompoundTerm((CompoundTerm)term.arg(2))));
42 throw(new VisException("Could not parse CreateEvent from "+term));
H A DBackUpdateEvent.java31 static VisEvent parseFromCompoundTerm(CompoundTerm term) argument
33 String viewableName = ((Atom)term.arg(1)).functor();
34 String interestSpecName = ((Atom) term.arg(2)).functor();
35 List elementsUpdating = getIndiciesUpdating((List) term.arg(4));
H A DForwardUpdateEvent.java31 static VisEvent parseFromCompoundTerm(CompoundTerm term) argument
33 String viewableName = ((Atom)term.arg(1)).functor();
34 String interestSpecName = ((Atom) term.arg(2)).functor();
35 List elementsUpdating = getIndiciesUpdating((List) term.arg(4));
H A DUpdateEvent.java34 static VisEvent parseFromCompoundTerm(CompoundTerm term) argument
37 if(term.functor().equals("update") &&
38 term.arity() == 4)
40 if(forwardString.equals(((Atom)term.arg(3)).functor()))
42 return(ForwardUpdateEvent.parseFromCompoundTerm(term));
44 if(backString.equals(((Atom)term.arg(3)).functor()))
46 return(BackUpdateEvent.parseFromCompoundTerm(term));
49 throw(new VisException("Could not parse update event from "+term));
H A DViewableType.java47 static ViewableType parseFromCompoundTerm(CompoundTerm term) argument
50 if(term.functor().equals("array") &&
51 term.arity() == 2)
54 // Collection fixityListAtoms = (Collection) term.arg(1);
62 atomListToStringList((Collection) term.arg(1));
63 CompoundTerm elementType = (CompoundTerm) term.arg(2);
70 else if ("multi_array".equals(term.functor()) &&
71 term.arity() == 3) {
72 Collection fixityListList = (Collection) term.arg(1);
73 Collection elementTypeList = (Collection) term
[all...]
/barrelfish-2018-10-04/include/term/client/
H A Ddefault_triggers.h19 #include <term/client/trigger.h>
H A Dtrigger.h21 #include <term/client/client.h>
22 #include <term/client/defs.h>
H A Dfilter.h20 #include <term/client/client.h>
21 #include <term/client/defs.h>
/barrelfish-2018-10-04/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DCompoundTermImpl.java31 * An ECLiPSe compound term. This concrete class can be used to construct objects
38 * Element 0 of term is the functor String, the remaining elements are the
39 * compound term's arguments. Arity is therefore term.length - 1
42 private Object term[]; field in class:CompoundTermImpl
45 * Construct a compound term from an Object array. In this constructor the
53 public CompoundTermImpl(Object[] term) argument
56 super((String) term[0], term.length - 1);
57 this.term
[all...]
/barrelfish-2018-10-04/lib/term/client/
H A Dsession.c17 #include <term/client/session.h>
H A Dfilter_priv.h20 #include <term/client/filter.h>
H A Dtrigger_priv.h19 #include <term/client/trigger.h>
/barrelfish-2018-10-04/lib/libc/gen/
H A Dreadpassphrase.c51 struct termios term, oterm; local
95 memcpy(&term, &oterm, sizeof(term));
97 term.c_lflag &= ~(ECHO | ECHONL);
98 if (term.c_cc[VSTATUS] != _POSIX_VDISABLE)
99 term.c_cc[VSTATUS] = _POSIX_VDISABLE;
100 (void)tcsetattr(input, TCSAFLUSH|TCSASOFT, &term);
102 memset(&term, 0, sizeof(term));
103 term
[all...]
/barrelfish-2018-10-04/include/barrelfish/
H A Dterminal.h20 #include <term/client/defs.h>

Completed in 222 milliseconds

12345678