 are better for it. God bless you Charley, you will be missed.
To the family. We send our sincere sympathy to your family at this time of sorrow. I worked with Charley at the American Legion on different projects through the years. He was dedicated to his work at the Legion. I am very thankful to have the opportunity to work with him and Betty. We know what it feels like loosing a parent and we feel your pain.
Charlie was not only an officer and a gentleman, he was also a gentle man.
Our deepest sympathy to all of Charles' loved ones. This world lost a good and kind man. He'll spend Christmas in Heaven this year with Betty and Charlie.FRAME 20x20xD3cm Made from recycled products.
DESCRIPTION Large Papilio with black forewings whilst the tailed hind wings have cream markings. Larvae feed on citrus plants whist the adults are often seen sipping nectar from flowers.When time is ticking on the watch industry, how do you design a new movement to help save our planet?
By marking time in a new way with every element of Nordgreen’s sustainable, super-premium new watch; considered and carefully designed to last 100 years.
Scandinavian simplicity at its finest, Nordgreen designer watches express a passion for esthetic appeal and superb functionality combined with a long-term vision to reduce the environmental impact of the watch industry. The Guardian, a new release of 3,000 super-premium and sustainable watches designed by Jakob Wagner, sees Nordgreen take its vision to the next level.
Our unique packaging design for the Guardian series combines luxury and end-to-end design thinking. Made of fully recycled and recyclable materials, the packaging perfectly complements the idea behind this new ground-breaking timepiece by pairing the esthetic appeal and superb functionality Nordgreen is known for with a long-term vision to reduce the environmental impact of the watch industry.
The luxurious, monochromatic and streamlined white cube box has a subtle textured finish with minimal branding and magnetic closure for a super tactile unboxing experience. Two-word messaging statements or brand micro-stories – such as Respect Time or Love Earth – appear on the sides in different configurations, as the top and bottom of the box spin and connect.
3D printed on demand to counter wastage and the environmental impact of storage, the recycled plastic box started life as PET bottles. An integrated Near Field Communication (NFC) chip elevates the packaging - moving it from a functional and protective role - to become an interactive experience offering information about the packaging production and the recycling process to encourage its community to play an active role in saving the planet.
To find out more about our work for Guardian or any of our other brands, get in touch.
To find out more about our work for Guardian or any of our other brands.package useCase.suts;

import edu.uta.cse.fireeye.common.Constraint;
import edu.uta.cse.fireeye.common.Parameter;

import java.util.ArrayList;

public class SUTObjectSimple extends SUTObject {


    public SUTObjectSimple(int interactionParameter, SUTObject.IncludeValuesForConstraints includeValuesForConstraints) {

        super(interactionParameter);

        // build a system configuration
        sut.setName("EasyWeb Simple Amounts");

        //Values for payment Beginning
        paymentBeginning.addValue("0");
        paymentBeginning.addValue("2000");
        if(includeInvalidValues == IncludeInvalidValues.INCLUDE_INVALID_VALUES) {
            paymentBeginning.addInvalidValue("99");
            paymentBeginning.addInvalidValue("299");
            paymentBeginning.addInvalidValue("5001");
            paymentBeginning.addInvalidValue("1000001");
        }else{
            paymentBeginning.addValue("99");
            paymentBeginning.addValue("299");
            paymentBeginning.addValue("5001");
            paymentBeginning.addValue("1000001");
        }

        //Values for Amount § 40b
        amount40b.addValue("0");
        amount40b.addValue("2148");
        if(includeInvalidValues == IncludeInvalidValues.INCLUDE_INVALID_VALUES) {
            amount40b.addInvalidValue("2149");
        }else{
            amount40b.addValue("2149");
        }

        //Values for Amount § 363
        amount363.addValue("0");
        amount363.addValue("2068");
        amount363.addValue("4068");
        amount363.setType(Parameter.PARAM_TYPE_INT);


        //Separation between Employer and Employee
        Parameter regularAmount = sut.addParam("Beitrag");
        regularAmount.addValue("0");
        regularAmount.addValue("600");
        regularAmount.addValue("299");
        regularAmount.addValue("5000");
        if(includeInvalidValues == IncludeInvalidValues.INCLUDE_INVALID_VALUES) {
            regularAmount.addInvalidValue("24");
            regularAmount.addInvalidValue("599");
            regularAmount.addInvalidValue("125001");
        }else{
            regularAmount.addValue("24");
            regularAmount.addValue("599");
            regularAmount.addValue("125001");
        }
        regularAmount.setType(Parameter.PARAM_TYPE_INT);


        // create constraints

        ArrayList<Parameter> params = new ArrayList();


        //Constraint: Rückdeckungsversicherung immer AG-finanziert & Nur Zuzahlung
        params = new ArrayList();
        params.add(implementation);
        params.add(typeOfReinsurance);
        params.add(amount363);
        params.add(amount40b);
        Constraint c8 = new Constraint("Durchfuehrungsweg = \"Direktzusage\" && Art_der_Rueckdeckung = \"Rueckdeckungsversicherung\"" +
                " => Beitrag_40b = 0 && Beitrag_363 = 0", params);
        sut.addConstraint(c8);


        //Constraint: Unterstützungskasse => keine BBG-Werte
        params = new ArrayList();
        params.add(typeOfReinsurance);
        params.add(amount363);
        params.add(amount40b);
        params.add(paymentBeginning);
        Constraint c9 = new Constraint("Art_der_Rueckdeckung = \"Unterstuetzungskasse\"" +
                " => Beitrag_40b = 0 && Beitrag_363 = 0 && Zuzahlung_zu_Beginn = 0", params);
        sut.addConstraint(c9);

        /*********************************
         *
         *
         * In the following there will be declared some constraints for the possible values to
         * choose from the different amounts.
         */

        if(this.includeValuesForConstraints == IncludeValuesForConstraints.INCLUDE_VALUES_FOR_CONSTRAINTS) {
            //Constraint for the chosen amounts of the payment at beginning

            //Amount
            params = new ArrayList();
            params.add(regularAmount);
            params.add(implementation);
            params.add(typeOfReinsurance);
            params.add(tariff);
            Constraint cAN1 = new Constraint("Durchfuehrungsweg = \"Direktversicherung\" => " +
                    "Beitrag = 0 || Beitrag = 599 || Beitrag = 600",  params);
            sut.addConstraint(cAN1);

            Constraint cAN2 = new Constraint("Durchfuehrungsweg = \"Pensionskasse\" => " +
                    "Beitrag = 0 || Beitrag = 299 || Beitrag = 599 || " +
                    "Beitrag = 600",  params);
            sut.addConstraint(cAN2);

            Constraint cAN3= new Constraint("Durchfuehrungsweg = \"Direktzusage\" " +
                    "&& Art_der_Rueckdeckung = \"Unterstuetzungskasse\" && (Tarif = \"AREven\" || Tarif = \"HR20\") => " +
                    "Beitrag = 0 || Beitrag = 599 ||" +
                    "Beitrag = 600 || Beitrag = 125001",  params);
            sut.addConstraint(cAN3);

            Constraint cAN3a= new Constraint("Durchfuehrungsweg = \"Direktzusage\" " +
                    "&& Art_der_Rueckdeckung = \"Unterstuetzungskasse\" && Tarif = \"FR20\" => " +
                    "Beitrag = 0 || Beitrag = 299 ||" +
                    "Beitrag = 600 || Beitrag = 125001",  params);
            sut.addConstraint(cAN3a);

            Constraint cAN4= new Constraint("Durchfuehrungsweg = \"Direktzusage\" " +
                    "&& Art_der_