Package it.unito.di.logic.expression

Examples of it.unito.di.logic.expression.CompositeExpression

236
237
238
239
240
241
242
243
244
245
246
    defineObsProperty("failure", rolePart.getCanonicalName());
    long now = new Date().getTime();
    log("TIME ELAPSED: "+((now-millis)/1000));
    try {
      for (Commitment com : interactionState.retrieveAllCommitments()) {
        if (com.getConsequent().equals(new CompositeExpression(LogicalOperatorType.OR, new Fact("done"), new Fact("failure")))
                && com.getDebtor().equals(rolePart)) {
            removeObsPropertyByTemplate("cc", com.getDebtor().getCanonicalName(), com.getCreditor().getCanonicalName(),
                com.getAntecedent().toString(), com.getConsequent().toString(), com.getLifeCycleStatus().toString());
            com.setStatus(LifeCycleState.DISCHARGED);
            defineObsProperty("cc", com.getDebtor().getCanonicalName(), com.getCreditor().getCanonicalName(),
View Full Code Here
12
13
14
15
16
17
18
19
20
public class InitiatorRequirements extends Type {
 
  public InitiatorRequirements() throws MissingOperandException, WrongOperandsNumberException {
    super(new Commitment[]{
      new Commitment(CNPArtifact.INITIATOR_ROLE, CNPArtifact.PARTICIPANT_ROLE, "propose", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("accept"), new Fact("reject")))
    });
  } 
View Full Code Here
11
12
13
14
15
16
17
18
19
public class TypeInitiator extends Type {

  public TypeInitiator() throws MissingOperandException, WrongOperandsNumberException {
   
    super(new Commitment[]
        {new Commitment(CNPArtifact.INITIATOR_ROLE, CNPArtifact.PARTICIPANT_ROLE, "propose", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("accept"), new Fact("reject")))
        });
  }
View Full Code Here
11
12
13
14
15
16
17
18
19
public class TypeOneParticipant extends Type {

  public TypeOneParticipant() throws MissingOperandException, WrongOperandsNumberException {
 
    super(new Commitment[]{
        new Commitment(CNPArtifact.PARTICIPANT_ROLE, CNPArtifact.INITIATOR_ROLE, "accept", new CompositeExpression(
              LogicalOperatorType.OR, new Fact("done"), new Fact("failure")))
    });
  }
View Full Code Here
TOP

Related Classes of it.unito.di.logic.expression.CompositeExpression

  • it.unito.di.artifact.examples.cnp.CNPArtifact
  • it.unito.di.artifact.examples.cnp.InitiatorRequirements
  • it.unito.di.artifact.examples.cnp.ParticipantRequirements
  • it.unito.di.artifact.examples.cnp.TypeInitiator
  • it.unito.di.artifact.examples.cnp.TypeOneParticipant
  • it.unito.di.artifact.examples.cnpBackup.CNPArtifact
  • it.unito.di.artifact.examples.cnpCommits.CNPArtifact
  • it.unito.di.artifact.examples.cnpCommits.CNPArtifactTimer
  • it.unito.di.artifact.examples.cnpCommits.CNPArtifactTimerMaxPart
  • it.unito.di.artifact.examples.cnpCommits.InitiatorAgent$InitiatorBehaviour
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.