alexandrepiveteau

#include "Sf_out.hpp"
namespace functors {
extern "C" {

}
} //namespace functors
namespace  souffle {
using namespace souffle;
 Sf_out::Sf_out():
symTable(),

alexandrepiveteau

#include <stdbool.h>
#include <stdio.h>

#define MAX_DEPTH_X 501
#define MAX_DEPTH_Y 101
#define MAX_DEPTH_Z 101
#define MAX_DEPTH_STACK (MAX_DEPTH_X * MAX_DEPTH_Y * MAX_DEPTH_Z)

// DFS EXPLORATION STACK

alexandrepiveteau

package io.github.alexandrepiveteau.echo

import io.github.alexandrepiveteau.echo.core.causality.EventIdentifier
import io.github.alexandrepiveteau.echo.core.causality.SequenceNumber
import io.github.alexandrepiveteau.echo.core.causality.SiteIdentifier
import io.github.alexandrepiveteau.echo.core.causality.nextSiteIdentifier
import io.github.alexandrepiveteau.echo.demo.counter.PNCounterEvent
import io.github.alexandrepiveteau.echo.demo.counter.PNProjection
import io.github.alexandrepiveteau.echo.projections.OneWayProjection
import io.github.alexandrepiveteau.echo.sync.SyncStrategy.Companion.Once

alexandrepiveteau

package io.github.alexandrepiveteau.echo.samples

import io.github.alexandrepiveteau.echo.Exchange
import io.github.alexandrepiveteau.echo.core.causality.EventIdentifier
import io.github.alexandrepiveteau.echo.core.causality.nextSiteIdentifier
import io.github.alexandrepiveteau.echo.mutableSite
import io.github.alexandrepiveteau.echo.projections.ChangeScope
import io.github.alexandrepiveteau.echo.projections.TwoWayProjection
import io.github.alexandrepiveteau.echo.protocol.Message.Incoming as I
import io.github.alexandrepiveteau.echo.protocol.Message.Outgoing as O

alexandrepiveteau

plugins {
  kotlin(Plugins.KotlinJvm)
  kotlin(Plugins.KotlinSerialization)
  id("org.jetbrains.compose") version "0.4.0"
}

repositories {
  jcenter()
  maven("https://maven.pkg.jetbrains.space/public/p/compose/dev")
}

alexandrepiveteau

inline fun <R, M, reified T, reified C> mutableSite(
    identifier: SiteIdentifier,
    initial: M,
    projection: TwoWayProjection<M, T, C>,
    vararg events: Pair<EventIdentifier, T>,
    transform: (M) -> R,
): MutableSite<T, R> = TODO()

inline fun <R, M, reified T> mutableSite(
    identifier: SiteIdentifier,

alexandrepiveteau

/**
 * Applies [transform] function to each value of the given flow.
 *
 * The receiver transforms is [FlowCollector] and thus [transform] is a flexible block which can
 * transform the given element, skit it or emit multiple elements.
 *
 * Additionally, this transform is stateful : each time an item is processed, it is transformed and
 * passed around for the next invocations of [transform].
 *
 * @param T the type of the elements of the given flow.

alexandrepiveteau

// Exercice 5
//
// En utilisant foldLeft (ou foldRight) écrivez une fonction reverse pour
// inverser l’ordre des éléments d’une liste.

def reverse[A](list: List[A]): List[A] =
  list.foldLeft(List.empty[A])((xs, x) => x :: xs)

// Exemples :
//

alexandrepiveteau

module Ellie.Ui.CodeEditor
    exposing
        ( Attribute
        , LinterMessage
        , Position
        , Severity(..)
        , linterMessages
        , mode
        , onChange
        , readOnly

alexandrepiveteau

package ch.heigvd.iict.sym.labo2.betterComm

import ch.heigvd.iict.sym.labo2.betterComm.RequestManager.Backoff
import ch.heigvd.iict.sym.labo2.betterComm.RequestManager.ResponseOrCancelled.Cancelled
import ch.heigvd.iict.sym.labo2.betterComm.RequestManager.ResponseOrCancelled.Success
import kotlinx.coroutines.Dispatchers
import kotlinx.coroutines.delay
import kotlinx.coroutines.withContext

/**