/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | eg_cc_handle.cc | 52 term(EC_functor(",",2), 53 term(EC_functor("xget",3), 57 term(EC_functor("writeln",1), X)
|
H A D | eg_cc_main.cc | 55 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 D | eg_cc_sendmore.cc | 54 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 D | eg_cc_mip.cc | 58 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 D | eclipse_cc.cc | 185 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 D | eg_cc_fail_loop.cc | 60 post_goal(term(EC_functor("p",1),X));
|
/barrelfish-2018-10-04/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/ |
H A D | VisEvent.java | 32 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 D | ElementType.java | 52 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 D | ContractEvent.java | 29 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 D | DestroyEvent.java | 29 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 D | ExpandEvent.java | 30 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 D | CreateEvent.java | 32 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 D | BackUpdateEvent.java | 31 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 D | ForwardUpdateEvent.java | 31 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 D | UpdateEvent.java | 34 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 D | ViewableType.java | 47 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 D | default_triggers.h | 19 #include <term/client/trigger.h>
|
H A D | trigger.h | 21 #include <term/client/client.h> 22 #include <term/client/defs.h>
|
H A D | filter.h | 20 #include <term/client/client.h> 21 #include <term/client/defs.h>
|
/barrelfish-2018-10-04/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/ |
H A D | CompoundTermImpl.java | 31 * 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 D | session.c | 17 #include <term/client/session.h>
|
H A D | filter_priv.h | 20 #include <term/client/filter.h>
|
H A D | trigger_priv.h | 19 #include <term/client/trigger.h>
|
/barrelfish-2018-10-04/lib/libc/gen/ |
H A D | readpassphrase.c | 51 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 D | terminal.h | 20 #include <term/client/defs.h>
|